HOME       UP       PREV       FURTHER NOTES       NEXT (FOR CORRECT TYPESETTING PLEASE SEE PREVIOUS SLIDE)  

Synthesis from Formal Specification


Fragments: compilation from formal specifications.

(C) 2008-10, DJ Greaves, University of Cambridge, Computer Laboratory.