# Reference Request for Synthesis

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?

-
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