QUEST is a suite of tools integrated in a Eclipse plug-in that aim to ensure compliance of  Java implementations of data abstractions with their property-driven specifications.

Read more QUEST


ParTypes is a toolchain for validating and synthesising message-based programs for Message Passing Interface (MPI) programs.

Read more ParTypes


FreeST is a concurrent programming language where processes communicate via message-passing. The language features bi-directional channel-based communication.

Read more FreeST


SePi is a concurrent, message-passing programming language based on the pi-calculus. The language features synchronous, bi-directional channel-based communication. Programs use primitives to send and receive messages as well as offer and select choices. Channel interactions are statically verified against session types describing the kind and order of messages exchanged, as well as the number of…

Read more SePi


PESTT an Educational Testing Tool for learning and designing unit tests for the Java language.

Read more PESTT


ProPi is a tool that statically verifies whether message passing programs are free from deadlocks.

Read more Propi


MIL (Multithreaded Intermediate Language) is an assembly language targeted at an abstract multi-processor equipped with a shared main memory. Each processor consists of a series of registers and of a local memory for instructions and for local data. The main memory is divided into a heap and a run pool. The heap stores data and…

Read more MIL