Projects for tag "Model Checking"

COMPASS

COMPASS (COrrectness, Modeling and Performance of AeroSpace Systems) is a toolset aiming to ensure system-level correctness, safety, dependability and performabili...

Updated on: 13/09/2018
Created on: 13/09/2018
Owner: RWTH Aachen University (Germany) and Fondazione Bruno Kessler (Italy)
OpenGEODE

OpenGEODE is a tiny open-source SDL editor that is developed for the purpose of providing an easy to use and free state machine editor and Ada code generator to the...

Updated on: 25/11/2016
Created on: 29/04/2015