Meta-project including all git submodules necessary to make a taste installation
The TASTE Model Checker.
kazoo is the replacement tool for buildsupport for future versions of TASTE. It generates code skeletons and concurrency view
ASN1 Value Editor - Code of the auto-generated GUIs and ASN.1 Standalone value editor
TASTE speedometer widget - used in the TASTE guis and in the PeekPoke component
Python API for handling Message Sequence Charts (MSC)
The PolyORB-HI middleware - Ada version
The PolyORB-HI Middleware - C Version
FSharp parser for SDL / OpenGEODE
The primary objective of the PandA project is to develop a usable framework that will enable the research of new ideas in the HW-SW Co-Design field.
PandA is developed at Politecnico di Milano (Italy) and released under GPL3
Python library handling the specification and compilation of properties that have to be verified on a system. Uses opengeode API.
Python version of Buildsupport (under development, early prototype)
Place to put new installation script for the toolchain