HOME       UP       PREV       FURTHER NOTES       NEXT (Synthesis/Refinement from Formal Specifications)  

Synthesis from Formal Specification


Fragments: compilation from formal specifications.

30: (C) 2008-13, DJ Greaves, University of Cambridge, Computer Laboratory.