Formal Methods: State of the Art and New Directions

  • Paul Boca
  • Jonathan P. Bowen
  • Jawed Siddiqi

Table of contents

  1. Front Matter
    Pages i-xxiv
  2. Dines Bjørner
    Pages 1-41
  3. Michael Jackson
    Pages 43-78
  4. Martin C. Henson
    Pages 117-145
  5. Peter Y.A. Ryan
    Pages 147-184
  6. Muffy Calder, Stephen Gilmore, Jane Hillston, Vladislav Vyshemirsky
    Pages 185-215
  7. Richard Bornat
    Pages 217-248
  8. Peter D. Mosses
    Pages 249-273

About this book


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 website is a useful resource, providing material associated with the book and links to further related information.


Formal Methods Formal Specification Refinement Semantics Z Notation design modeling programming programming language validation verification

Editors and affiliations

  • Paul Boca
    • 1
  • Jonathan P. Bowen
    • 2
  • Jawed Siddiqi
    • 3
  1. 1.Hornbill Systems Ltd.RuislipUnited Kingdom
  2. 2.Museophile Ltd.Reading, Oxon.United Kingdom
  3. 3.Informatics Research GroupSheffield Hallam UniversitySheffieldUnited Kingdom

Bibliographic information