Introduction to Formal Methods References [CT216]

CT216 Home Page	http://geminga.it.nuigalway.ie/~gettrick/courses/CT216/
online guides and tutorials on formal methods/Z	http://archive.comlab.ox.ac.uk/z.html http://en.wikipedia.org/wiki/Formal_methods http://www.usingz.com/ http://citeseer.ist.psu.edu/328562.html http://en.wikipedia.org/wiki/Z_notation http://terrymarris.tripod.com/ http://www.faqs.org/faqs/z-faq/
books on formal methods/Z	Z: An Introduction to Formal Methods Antoni Diller `Wiley` Formal Specification Using Z: A Modelling Approach L. Bottaci, J. Jones `International Thomson Publishing` An Introduction to Formal Specification and Z B. Potter, J. Sinclair, D. Till `Prentice Hall` Using Z: Specification, Refinement and Proof J. Woodcock, J. Davies `Prentice Hall` A programming approach to formal methods Chris Casey `McGraw-Hill` Formal methods of program verification and specification H.K. Berg `Prentice-Hall` An introduction to formal specification with Z and VDM Deri Sheppard `McGraw-Hill` An introduction to discrete mathematics, formal system specification, and Z D.C. Ince `Oxford University Press` Z: A beginner's guide D.Rann, J.Turner & J.Whitworth `Chapman & Hall` Logic and Discrete Mathematics W. K. Grassman, J. -P. Tremblay `Prentice Hall` Mathematical Structures for Computer Science Judith L. Gersting `Freeman` Software Development with Z J.B. Wordsworth `Addison-Wesley` Z Guide for Beginners Mike McMorran and Steven Powell `Blackwell Scientific Publications` and many other books in the library