Software reliability methods / Doron A. Peled ; foreword by Edmund M. Clarke.

Author
Peled, Doron A., 1962- [Browse]
Format
Book
Language
English
Published/​Created
New York : Springer, [2001], ©2001.
Description
xix, 331 pages : illustrations ; 25 cm.

Details

Subject(s)
Series
Texts in computer science. [More in this series]
Bibliographic references
Includes bibliographical references (p. [321]-328) and index.
Contents
  • 1. Introduction
  • 2. Preliminaries
  • 3. Logic and Theorem Proving
  • 4. Modeling Software Systems
  • 5. Formal Specification
  • 6. Automatic Verification
  • 7. Deductive Software Verification
  • 8. Process Algebra and Equivalences
  • 9. Software Testing
  • 10. Combining Formal Methods
  • 11. Visualization
  • 12. Conclusions.
ISBN
0387951067 (alk. paper)
LCCN
2001018395
OCLC
45804896
RCP
C - S
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...

Supplementary Information