Selecting an appropriate formal method. Overview of Course and Concluding Remarks. Students must pass the coursework component of a module in order to pass the module as a whole. Answer two questions. A reference sheet summarizing the inference rules of LPF is provided.
Marks shown for subections are indicative only.
Practical Tools and Techniques in Software Development. Cambridge University Press, 1998. Prentice Hall, 1990. Currently out of print but available on line from here. Applications of Formal Methods.