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...

read more
Updated on: 14/04/2019
Created on: 13/09/2018
Owner: RWTH Aachen University (Germany) and Fondazione Bruno Kessler (Italy)
Links:
  1. Homepage : Compass toolset homepage
Tags: Model Checking correctness safety dependability performability FDIR simulation RAMS TFPG
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...

read more
Updated on: 25/11/2016
Created on: 29/04/2015
Version Control System: git
Owner: ESA
Links:
  1. Homepage : OpenGEODE
  2. Source code : OpenGEODE Source code repository
Tags: TASTE ASN.1 SDL Python Ada Model Checking ANTLR