Formal methods for system specification
Mike Hinchey · IEEE Potentials · 1993
Formal methods for system specification are described. The notation used in formal methods, called a formal specification language, is discussed. The deductive apparatus, an equally important component of a formal method, is also discussed.>