Posts Tagged "ProB"
- Towards Practical Partial Order Reduction for High-Level Formalisms
- Validation and real-life demonstration of {ETCS} hybrid level 3 principles using a formal B model
- Embedding High-Level Formal Specifications into Applications
- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin
- Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains
- Distributed Model Checking Using ProB
- Symbolic Reachability Analysis of B through ProB and LTSmin
