Search

Michael Leuschel

Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations
Modeling and Verifying an Arrival Manager Using Event-B
Validation by Abstraction and Refinement
Validation of Formal Models by Interactive Simulation
Validation of Formal Models by Timed Probabilistic Simulation
Modelling and Validating an Automotive System in Classical B and Event-B
Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out
ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods
Towards a Shared Specification Repository
VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains
A Translation from Alloy to B
A Compact Encoding of Sequential ASMs in Event-B
Enabling Analysis for Event-B
Generating Event-B Specifications from Algorithm Descriptions
Interactive Model Repair by Synthesis
Proof Assisted Symbolic Model Checking for B and Event-B
Using B and ProB for Data Validation Projects
Validation of the ABZ landing gear system using ProB
Validation of the ABZ Landing Gear System Using ProB
Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge
Translating B to TLA + for Validation with TLC
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Refinement-Animation for Event-B - Towards a Method of Validation
The High Road to Formal Validation: