Æon is a programming language with refinement types that supports genetic programming for program synthesis.

Read more Æon


CONFIDENT is a toolchain for effective construction and evolution of REST APIs.

Read more Doit


FreeST is a typed concurrent programming language where processes communicate via message-passing.

Read more FreeST


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


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

Read more ParTypes


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


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


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