Items related to Software Reliability Methods

Software Reliability Methods - Softcover

Peled, Doron A.

  • 4.00 out of 5 stars
    6 ratings by Goodreads
 
9781475735413: Software Reliability Methods

Synopsis

*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

"synopsis" may belong to another edition of this title.