Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
ANTLR3 Python Runtime
-
-
Buildsupport - Tool to generate function skeletons and glue code.
-
-
-
-
Test area for the VDM integration in taste
-
Release directory for the GUI front-ends from Ellidiss (V2)
-
Iterator functions in Ada for generating all combinations of values for ASN.1 datatypes.
-
This processes the .log files generated by EDISOFT's testsuite and creates a .csv file for Excel importing.
-
-
The TASTE Model Checker.
-
This repository contains the tests executed to make sure existing functionality hasn't been broken by any changes.
-
Original TASTE MSC Editor
-
-
-
-
-
TASTE Case Studies for PUS Services