The University of Southampton

Related Publications

ProB: A Model Checker for B

UML-B: Formal modelling and design aided by UML

Rodin: an open toolset for modelling and reasoning in Event-B

A System-based Approach to the Formal Development of Embedded Controllers for a Railway

Decomposition Structures for Event-B