9 mai 2022
CLEARSY utilise les méthodes formelles dans de nombreuses phases du cycle de développement :
- Le raisonnement système : pour définir et prouver mathématiquement les principes de sécurité des systèmes
- Le raisonnement logiciel : prouver mathématiquement les spécifications du logiciel dans son environnement système.
- Le développement du logiciel : pour développer et prouver mathématiquement l’implémentation du logiciel
- La validation : prouver par model checking que les données de paramétrage du logiciel sont sûres et cohérentes
Grâce à l’outil Atelier B 4.7.
Cette Video youtube illustre le savoir-faire de CLEARSY en phase amont :