Explore projects

The TASTE Model Checker.

TASTE Case Studies for PUS Services

Buildsupport - Tool to generate function skeletons and glue code.

The PolyORB-HI Middleware - C Version

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

The PolyORB-HI middleware - Ada version

Iterator functions in Ada for generating all combinations of values for ASN.1 datatypes.

kazoo is the replacement tool for buildsupport for future versions of TASTE. It generates code skeletons and concurrency view