Constructing Correct Software (Formal Approaches to Computing and Information Technology)

by John Cooke

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recent…