Software Reliability Methods - Softcover

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.