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$ Aug 26, 2012 at 22:18
  • 1
    $\begingroup$ What do you want to synthesize? Hardware? FSMs? Software? Could you be more precise? $\endgroup$ Aug 27, 2012 at 7:06
  • $\begingroup$ Thanks for the slides. FSM and Software, but specially FSM. $\endgroup$
    – Abramo K.
    Aug 27, 2012 at 15:50
  • $\begingroup$ Another set of slide: From Verification to Synthesis $\endgroup$ Aug 27, 2012 at 17:51
  • $\begingroup$ Many thanks for the new set of slides ........ $\endgroup$
    – Abramo K.
    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, privacy policy and cookie policy

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