Who should read this book?
This book could be interesting to the following groups:
- Functional Safety Experts, who look for ways to take advantage of formal methods, as recommended by IEC 61508.
- Academics, who look for ways to integrate a formal model with requirements
- Practitioners, who want to understand the theory behind formal modeling
Note that Event-B modeling is currently only used in academia and very few highly safety-critical applications. Nevertheless, understanding a language like Event-B is a fine foundation for any other kind of modeling.