SAT-based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation (2006)

by J-W Roorda, K Claessen
Venue:in Computer Aided Verification, 18th International Conference: CAV 2006, ser. LNCS