Explore projects

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)

testing purpose

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