This page contains the list of projects where nuXmv has been used.

  • Current
    • D-MILS Distributed MILS analysis
    • SafeCer Safety Certification of Software-Intensive Systems with Reusable Components
    • FAME -- FDIR Development and Verification & Validation Process
    • HASDEL -- Hardware-Software Dependability for Launchers
    • AUTOGEF Dependability design approach for critical flight software
    • IRONCAP Innovative Rover Operations Concept -- Autonomous Planning
    • COMPASS Correctness, Modeling and Performance of Aerospace Systems
  • Past
    • FOREVER Functional Requirements and Verification Techniques for the Software Reference Architecture
    • MISSA More Integrated and cost efficient Systems Safety Assessment
    • VELOS Verification of Logica di Sicurezza
    • 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