Home My Page Projects Code Snippets Project Openings AADL2Fiacre
Summary Activity SCM

Project description

Repository for the AADL converter to Fiacre verification dedicated language.

Project Information

Tags: AADL, modelisation, Transformation de modeles, model checking, verification formelle


This project has not yet categorized itself in the Trove Software Map

Registered: 2015-07-09 21:50

Public Tools
SCM Repository (Git: 35 updates, 910 adds)