Skip to main content
SpringerLink
Log in

Software Reliability Methods

  • Textbook
  • © 2001

Overview

Authors:
  1. Doron A. Peled

    1. Computing Sciences, Bell Labs/Lucent Technologies, Murray Hill, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Texts in Computer Science (TCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xix
    Download chapter PDF

  2. Introduction

    • Doron A. Peled
    Pages 1-12

  3. Preliminaries

    • Doron A. Peled
    Pages 13-27

  4. Logic and Theorem Proving

    • Doron A. Peled
    Pages 29-62

  5. Modeling Software Systems

    • Doron A. Peled
    Pages 63-111

  6. Formal Specification

    • Doron A. Peled
    Pages 113-138

  7. Automatic Verification

    • Doron A. Peled
    Pages 139-177

  8. Deductive Software Verification

    • Doron A. Peled
    Pages 179-213

  9. Process Algebra and Equivalences

    • Doron A. Peled
    Pages 215-248

  10. Software Testing

    • Doron A. Peled
    Pages 249-278

  11. Combining Formal Methods

    • Doron A. Peled
    Pages 279-298

  12. Visualization

    • Doron A. Peled
    Pages 299-316

  13. Conclusions

    • Doron A. Peled
    Pages 317-319

  14. Back Matter

    Pages 321-332
    Download chapter PDF
Back to top

Keywords

About this book

Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of notations and techniques. It compares them, and discusses their advantages and disadvantages. One of the main challenges of formal methods is in transferring the tech­ nology developed by researchers to the software development community. Re­ cently, we seem to be starting to have a better understanding of the important ingredients of formal methods tools. This manifests itself in the growing ac­ ceptance of such tools in the software and hardware development industry. Ideally, formal methods need to be intuitive to use (preferably using graphi­ cal interfaces), do not impose on the user an extensive learning period, and incur only small overhead to the development process. Formal methods are much more acceptable today than ten or twenty years ago, in particular in the hardware industry. Yet there is still a lively contention between different approaches.

Reviews

From the reviews:

"The book covers a wide range of formal methods and how to use them to specify, verify and test software systems. … the book will provide a good, gentle introduction to the field with many pointers to more in-depth material. … I strongly recommend this book for anyone interested in using formal methods to develop reliable software. The book presents a very good introduction to the field and … covers the state-of-the-art in software reliability methods." (Michael Leuschel, Software Testing, Verification and Reliability, Vol. 2 (2), November, 2001)

Authors and Affiliations

  • Computing Sciences, Bell Labs/Lucent Technologies, Murray Hill, USA

    Doron A. Peled

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation