Formal activities through the V cycle

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: