Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Stefan Hallerstede
Latest
Loose Observation in Event-B
Generating Event-B Specifications from Algorithm Descriptions
Modelling Energy Consumption in Embedded Systems with VDM-RT
Quasi-Lexicographic Convergence
Refinement by Interface Instantiation
Refinement-Animation for Event-B - Towards a Method of Validation
Structured Event-B Models and Proofs
A Roadmap for the Rodin Toolset
On the Purpose of Event-B Proof Obligations
Cite
×