Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Data Modelling Technologies
-
-
Demo-Sat is a CubeSat mock based on MSP430FR5969 LaunchPad Development Kit. The complete software of Demo-Sat was created using TASTE toolchain.
-
The TASTE Model Checker.
-
-
-
Test area for the VDM integration in taste
-
-
Example repo demonstrating automatic spell checking.
-
This is the place to track issues and feature requests related to TASTE
-
This processes the .log files generated by EDISOFT's testsuite and creates a .csv file for Excel importing.
-
Iterator functions in Ada for generating all combinations of values for ASN.1 datatypes.
-
Original TASTE MSC Editor
-
-
FSharp parser for SDL / OpenGEODE
-
-
-
TASTE speedometer widget - used in the TASTE guis and in the PeekPoke component