Tell me more ×
Computer Science Stack Exchange is a question and answer site for students, researchers and practitioners of computer science. It's 100% free, no registration required.
up vote 2 down vote favorite
1

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|improve this question
Try these slides – Dave Clarke Aug 26 '12 at 22:18
1  
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
show 5 more comments

1 Answer

up vote 1 down vote accepted

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.

share|improve this answer

Your Answer

 
discard

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.