B Method

B Method

1st Edition - June 1, 2019

Write a review

  • Author: Jean-Louis Boulanger
  • Hardcover ISBN: 9781785481567

Purchase options

Purchase options
Available for Pre-Order
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No minimum order


B Method presents the language needed, semantics and methodologies required to use the method on real projects. The B method is one of the well known formal methods used in railway systems safety going back to 1998 that has been deployed on many projects.

Key Features

  • Covers the B method language
  • Includes methodologies applied on real projects


Researchers, scientists, postgraduate students

Table of Contents

  • 1. Introduction to Formal Method
    2. Set, Function and Sequence
    3. Component and Abstract Machine
    4. Substitution
    5. Refinement
    6. From Abstract to Concrete
    7. Obligation Proof
    8. Implementation of Basic Algorithm
    9. Complex Examples
    10. Process Based on B-Method
    11. Tools
    12. Conclusion

Product details

  • No. of pages: 300
  • Language: English
  • Copyright: © ISTE Press - Elsevier 2029
  • Published: June 1, 2019
  • Imprint: ISTE Press - Elsevier
  • Hardcover ISBN: 9781785481567

About the Author

Jean-Louis Boulanger

Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on safety.

Affiliations and Expertise

Independent Safety Assessor (ISA) in the railway domain focusing on software elements

Ratings and Reviews

Write a review

There are currently no reviews for "B Method"