Software Reliability Methods

  • Doron A. Peled

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

Table of contents

  1. Front Matter
    Pages i-xix
  2. Doron A. Peled
    Pages 1-12
  3. Doron A. Peled
    Pages 13-27
  4. Doron A. Peled
    Pages 29-62
  5. Doron A. Peled
    Pages 63-111
  6. Doron A. Peled
    Pages 113-138
  7. Doron A. Peled
    Pages 139-177
  8. Doron A. Peled
    Pages 179-213
  9. Doron A. Peled
    Pages 215-248
  10. Doron A. Peled
    Pages 249-278
  11. Doron A. Peled
    Pages 279-298
  12. Doron A. Peled
    Pages 299-316
  13. Doron A. Peled
    Pages 317-319
  14. Back Matter
    Pages 321-332

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.


automata formal method formal specification logic modeling software engineering testing verification

Authors and affiliations

  • Doron A. Peled
    • 1
  1. 1.Computing SciencesBell Labs/Lucent TechnologiesMurray HillUSA

Bibliographic information

  • DOI
  • Copyright Information Lucent Technologies 2001
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4419-2876-4
  • Online ISBN 978-1-4757-3540-6
  • Series Print ISSN 1868-0941
  • Series Online ISSN 1868-095X
  • Buy this book on publisher's site