Inhaltsangabe
*Introduction * Preliminaries * Logic and Theorem Proving * Modeling Systems * Formal Specification of Systems Properties * Automatic Verification * Deductive Verification * Process Algebras and Equivalences * Testing * Visualization * Pragmatics of Formal Methods * Conclusions
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
