Projects

This is an incomplete list of projects using this tool.

• Current
  • AUTOGEF Dependability design approach for critical flight software
  • IRONCAP Innovative Rover Operations Concept -- Autonomous Planning
  • MISSA More Integrated and cost efficient Systems Safety Assessment
  • VELOS
  • COMPASS Correctness, Modeling and Performance of Aerospace Systems
• Past
  • COCONUT A Correct-by-Construction Workbench for Design and Verification of Embedded Systems
  • OMC-ARE On board Model Checking Autonomous Resoning Engine
  • EURAILCHECK ERA project on the formalization and validation of ETCS
  • S3MS Security of Software and Services for Mobile Systems
  • PROSYD PROperty based SYstem Design