B Method
- 1st Edition - June 1, 2019
- Latest edition
- Author: Jean-Louis Boulanger
- Language: English
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 railwa… Read more
Purchase options
Early spring sale
Nurture your knowledge
Grow your expertise with up to 25% off trusted resources.
Description
Description
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
Key features
- Covers the B method language
- Includes methodologies applied on real projects
Readership
Readership
Researchers, scientists, postgraduate students
Table of contents
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
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
Product details
- Edition: 1
- Latest edition
- Published: December 31, 2045
- Language: English
About the author
About the author
JB
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