/Baader, 1990/ 
Basic features of formal methods as a stocktaking of tools and concepts

/Brix, 1986/ 
By means of the examples CARTESIANA, a verification tool from Siemens, the basic features of "Program Verification during Development" are explained

/Kersten, 1990/ 
Several reports on "formal specification and verification"

/Kröger, 1987/ 
Deals with temporal logic and verification of statements in temporal logic

/Loeckx, 1987/ 
Describes the mathematical background of several formal verification methods (e. g. Floyd Method, Axiomatic Method of Hoare, Fixedpoint Induction), as shown by some examples. Furthermore the problems of correctness and completeness are discussed.
