9 May 2022
CLEARSY uses formal methods in many phases in the development cycle:
- systems reasoning: to define and prove mathematically system safety principles
- software reasoning: to prove mathematically software principles in its system environment
- software development: to develop and prove mathematically the software implementation
- validation: to prove by model checking that software’s data parameters and safe and consistent
Thanks to the Atelier B 4.7 tool.
This youtube video illustrates CLEARSY’s know-how in the system phases: