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

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.

| cite | improve this answer | |

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.