A SAT-Based Counterexample Guided Method for Unbounded Synthesis

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-41540-6_20 ◽

2016 ◽

pp. 364-382 ◽

Author(s):

Alexander Legg ◽

Nina Narodytska ◽

Leonid Ryzhyk

Download Full-text