B Method

B Method

List price: US$130.00

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist


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.
show more

Product details

  • Hardback | 300 pages
  • 152 x 229mm
  • United Kingdom
  • English
  • 1785481568
  • 9781785481567

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
show more

About 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.
show more