• Accueil
• Séminaires
• Journées FAC
• Forum ISAURE-IFSE Méthodes Formelles
• Project BRiefcaSe

 

Project BRiefcaSE

 

Basic Research in System Engineering

BRiefcaSE is a basic research project that targets methods involved in the specification, validation and verification of safety critical systems.

We address the main challenges of the IFSE working group using a combination of theoretical approaches: logic, proof, model checking, refinement, model transformation and their semantic soundness. The project focuses on three main topics vital for the integration of formal techniques within a system engineering process:

• A) formal specification of requirements, their validation and verification;
• B) formal system development and
• C) scalability of verification..