B Method


Book
300 Pages
June 2019
Elsevier Science and Technology
ID: 4288459

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.

Covers the B method language
Includes methodologies applied on real projects

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

Authors

Boulanger, Jean-Louis 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.

Table of Contents

Authors

Related Topics

Related Products

Journal of Software Engineering Tools & Technology Trends

Global API Marketplace Market Size, Share & Industry Trends Analysis Report By Component (Platform and Services), By Organization Size, By End User, By Regional Outlook and Forecast, 2023 - 2030

Global Application Programming Interface (API) Security Market Size, Share & Industry Trends Analysis Report By Offering (Platform & Solutions and Services), By Vertical, By Organization Size, By Deployment Mode, By Regional Outlook and Forecast, 2023 - 2030

Continuous Integration Tools - Market Share Analysis, Industry Trends & Statistics, Growth Forecasts 2021 - 2029

Global Application Modernization Services Market by Service (Application Integration, Application Portfolio Assessment, Application Re-Platforming), Deployment Mode (Hybrid Cloud, Private Cloud, Public Cloud), End Users, Vertical - Forecast 2024-2030