This is an incomplete list of projects using this tool.
- Current
- Past
- MISSA: More Integrated and cost efficient Systems Safety Assessment
- EURAILCHECK: ERA project on the formalization and validation of ETCS
- COMPASS: Correctness, Modeling and Performance of Aerospace Systems
- OMC-ARE: On board Model Checking Autonomous Reasoning Engine
- IRONCAP: Innovative Rover Operations Concept -- Autonomous Planning
- AUTOGEF: Dependability design approach for critical flight software
- FAME: FDIR Development and Verification & Validation Process
- HASDEL: Hardware-Software Dependability for Launchers
- SafeCer: Safety Certification of Software-Intensive Systems with Reusable Components
- D-MILS: Distributed MILS for Dependable Information and Communication Infrastructure