Computer Science Stack Exchange is a question and answer site for students, researchers and practitioners of computer science. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
Try these slides – Dave Clarke Aug 26 '12 at 22:18
What do you want to synthesize? Hardware? FSMs? Software? Could you be more precise? – Dave Clarke Aug 27 '12 at 7:06
Thanks for the slides. FSM and Software, but specially FSM. – Abramo K. Aug 27 '12 at 15:50
Another set of slide: From Verification to Synthesis – Dave Clarke Aug 27 '12 at 17:51
Many thanks for the new set of slides ........ – Abramo K. Aug 29 '12 at 13:15
up vote 1 down vote accepted

Try these slides or these ones

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

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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