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: