-

Summary

To Begin
Modeling
Exploitation
Integration System
Proof and Atelier B

Tools and techniques

Composys, a system modelling tool

Composys makes use of the formal tools and experience of Atelier B