Explore projects

Data Modelling Technologies

The TASTE Model Checker.

Meta-project including all git submodules necessary to make a taste installation

TASTE Case Studies for PUS Services

Python API for handling Message Sequence Charts (MSC)

Buildsupport - Tool to generate function skeletons and glue code.

Python library handling the specification and compilation of properties that have to be verified on a system. Uses opengeode API.

The PolyORB-HI Middleware - C Version

ASN1 Value Editor - Code of the auto-generated GUIs and ASN.1 Standalone value editor

ANTLR3 Python Runtime

Original TASTE MSC Editor

Release directory for the GUI front-ends from Ellidiss (V2)

This repository contains the tests executed to make sure existing functionality hasn't been broken by any changes.

This is a mirror of the Leon port that Damien George works on - will be used for automated nightly static analysis runs.

The PolyORB-HI middleware - Ada version