New to the world of software verification and synthesis. It was suggested to me that the book "Principles of Model Checking" is a good reference for verification, but I am clueless about synthesis. Could someone refer a good book?

  • $\begingroup$ Try these slides $\endgroup$ Commented Aug 26, 2012 at 22:18
  • 1
    $\begingroup$ What do you want to synthesize? Hardware? FSMs? Software? Could you be more precise? $\endgroup$ Commented Aug 27, 2012 at 7:06
  • $\begingroup$ Thanks for the slides. FSM and Software, but specially FSM. $\endgroup$
    – Abramo K.
    Commented Aug 27, 2012 at 15:50
  • $\begingroup$ Another set of slide: From Verification to Synthesis $\endgroup$ Commented Aug 27, 2012 at 17:51
  • $\begingroup$ Many thanks for the new set of slides ........ $\endgroup$
    – Abramo K.
    Commented Aug 29, 2012 at 13:15

1 Answer 1


Try these slides http://www.cs.bgu.ac.il/~frankel/HonoraryDay09/Slides/AmirPnueli.pdf or these ones http://www.cs.rice.edu/~vardi/papers/fmco06.ps.gz.

Also try googling "From Verification to Synthesis" and look at the work of Moshe Vardi and Orna Kupferman.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.