Apress

Formal Methods: State of the Art and New Directions

By Paul Boca , Jonathan P. Bowen , Jawed Siddiqi

Formal Methods: State of the Art and New Directions Cover Image

Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.

Full Description

  • ISBN13: 978-1-8488-2735-6
  • 300 Pages
  • User Level: Science
  • Publication Date: December 4, 2009
  • Available eBook Formats: PDF
  • eBook Price: $99.00
Buy eBook Buy Print Book Add to Wishlist
Full Description
The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications. Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material. This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field. The following website www.fmsand.info is associated with the book.
Table of Contents

Table of Contents

  1. Domain Engineering.
  2. Program Verification and System Dependability.
  3. The Abstract State Machines Method for High
  4. Level System Design and Analysis.
  5. Applications and Methodology of vZ.
  6. The Computer Ate my Vote.
  7. Formal Methods for Biomechanical Signalling Pathways.
  8. Separation Logic and Concurrency.
  9. Programming Language Description Languages.
Errata

If you think that you've found an error in this book, please let us know about it. You will find any confirmed erratum below, so you can check if your concern has already been addressed.

* Required Fields

No errata are currently published