Promotional Information

An informative guide to the B method methodology-one of the most popular formal methods used in railway since 1998

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

About the Author

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.