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.
ParTypes is a toolchain for validating and synthesising message-based programs for Message Passing Interface (MPI) programs.
CONFIDENT is a toolchain for effective construction and evolution of REST APIs.
FreeST is a concurrent programming language where processes communicate via message-passing. The language features bi-directional channel-based communication.
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…
Mool is a mini object-oriented language in a Java-like style with support for concurrency, that allows programmers to specify class usage protocols as types.
DOL is a Dependent Object-oriented Language featuring dependent types, mutable objects and class-based inheritance with subtyping.
PESTT an Educational Testing Tool for learning and designing unit tests for the Java language.
ProPi is a tool that statically verifies whether message passing programs are free from deadlocks.
The Tsallis Entropy calculator is a tool developed to compute and compare several versions of conditional Tsallis entropies existing in the literature.
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…