Introduction
This online document contains a number of useful resources to operate the Atelier B formal tool to model, to verify by proof, and to generate C source code.
It is organized in 6 parts:
- B examples: a collection of software models, from specification to implementation, down to source code in many cases
Last modified 9mo ago