Book sale: Save up to 25% on print and eBooks. No promo code needed.
Save up to 25% on print and eBooks.
B Method
1st Edition - June 1, 2019
Author: Jean-Louis Boulanger
Hardback ISBN:9781785481567
9 7 8 - 1 - 7 8 5 4 8 - 1 5 6 - 7
eBook ISBN:9780081011454
9 7 8 - 0 - 0 8 - 1 0 1 1 4 5 - 4
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… Read more
Purchase options
LIMITED OFFER
Save 50% on book bundles
Immediately download your ebook while waiting for your print delivery. No promo code is needed.
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
Researchers, scientists, postgraduate students
1. Introduction to Formal Method2. Set, Function and Sequence3. Component and Abstract Machine4. Substitution 5. Refinement6. From Abstract to Concrete7. Obligation Proof8. Implementation of Basic Algorithm9. Complex Examples10. Process Based on B-Method11. Tools12. Conclusion
No. of pages: 300
Language: English
Edition: 1
Published: June 1, 2019
Imprint: ISTE Press - Elsevier
Hardback ISBN: 9781785481567
eBook ISBN: 9780081011454
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