Explore projects
-
Updated
-
Updated
-
Iterator functions in Ada for generating all combinations of values for ASN.1 datatypes.
Updated -
ASN1 Value Editor - Code of the auto-generated GUIs and ASN.1 Standalone value editor
Updated -
-
-
Updated
-
kazoo is the replacement tool for buildsupport for future versions of TASTE. It generates code skeletons and concurrency view
Updated -
-
Updated
-
Updated
-
-
-
Python library handling the specification and compilation of properties that have to be verified on a system. Uses opengeode API.
Updated -
-
Updated
-
TASTE speedometer widget - used in the TASTE guis and in the PeekPoke component
Updated -
-
-
Updated