Formal Methods I - Rose-Hulman Institute of Technology

Formal Methods: Z CS 415, Software Engineering II Mark Ardis, Rose-Hulman Institute March 18, 2003 Outline Types of Formal Methods Introduction to Z Examples Formal Methods Specification and verification methods Have formal (mathematical) semantics unambiguous facilitate proofs of correctness In...

Uploaded by: Murkka Svensdottir
Filesize: 2 MB