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