Skip to main content
SpringerLink
Log in

Formal Methods: State of the Art and New Directions

  • Book
  • © 2010

Overview

Editors:
  1. Paul Boca

    1. Hornbill Systems Ltd., Ruislip, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jonathan P. Bowen

    1. Museophile Ltd., Reading, Oxon., United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jawed Siddiqi

    1. Informatics Research Group, Sheffield Hallam University, Sheffield, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Chapters are supplemented with presentation slides which will be available on a dedicated website

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 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.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 (8 chapters)

  1. Front Matter

    Pages i-xxiv
    Download chapter PDF

  2. Domain Engineering

    • Dines Bjørner
    Pages 1-41

  3. Program Verification and System Dependability

    • Michael Jackson
    Pages 43-78

  4. The Abstract State Machines Method for High-Level System Design and Analysis

    • Egon Börger
    Pages 79-116

  5. Applications and Methodology of νZ

    • Martin C. Henson
    Pages 117-145

  6. The Computer Ate My Vote

    • Peter Y.A. Ryan
    Pages 147-184

  7. Formal Methods for Biochemical Signalling Pathways

    • Muffy Calder, Stephen Gilmore, Jane Hillston, Vladislav Vyshemirsky
    Pages 185-215

  8. Separation Logic and Concurrency

    • Richard Bornat
    Pages 217-248

  9. Programming Language Description Languages

    • Peter D. Mosses
    Pages 249-273
Back to top

Keywords

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

Editors and Affiliations

  • Hornbill Systems Ltd., Ruislip, United Kingdom

    Paul Boca

  • Museophile Ltd., Reading, Oxon., United Kingdom

    Jonathan P. Bowen

  • Informatics Research Group, Sheffield Hallam University, Sheffield, United Kingdom

    Jawed Siddiqi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation