Formal Methods: State of the Art and New Directions

Editors: Boca, Paul, Bowen, Jonathan P., Siddiqi, Jawed (Eds.)

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

Buy this book

eBook $109.00
price for USA
  • ISBN 978-1-84882-736-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Hardcover $149.00
price for USA
  • ISBN 978-1-84882-735-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $149.00
price for USA
  • ISBN 978-1-4471-5745-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (8 chapters)

  • Domain Engineering

    Bjørner, Dines

    Pages 1-41

  • Program Verification and System Dependability

    Jackson, Michael

    Pages 43-78

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

    Börger, Egon

    Pages 79-116

  • Applications and Methodology of

    Henson, Martin C.

    Pages 117-145

  • The Computer Ate My Vote

    Ryan, Peter Y.A.

    Pages 147-184

Buy this book

eBook $109.00
price for USA
  • ISBN 978-1-84882-736-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Hardcover $149.00
price for USA
  • ISBN 978-1-84882-735-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $149.00
price for USA
  • ISBN 978-1-4471-5745-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Methods: State of the Art and New Directions
Editors
  • Paul Boca
  • Jonathan P. Bowen
  • Jawed Siddiqi
Copyright
2010
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London
eBook ISBN
978-1-84882-736-3
DOI
10.1007/978-1-84882-736-3
Hardcover ISBN
978-1-84882-735-6
Softcover ISBN
978-1-4471-5745-8
Edition Number
1
Number of Pages
XXV, 273
Topics