Related Projects

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

Current:

• CITADEL Critical Infrastructure Protection Using Adaptive MILS
• 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