It-Matters

Tools

Contract Automata Tool (February 10, 2021)

The Contract Automata Tool is an ongoing research activity about implementing and experimenting with new developments in the theoretical framework of contract automata. It currently features composition of contracts, synthesis of orchestration, choreographies and most permissive controller, adaptations to modalities and product lines.
Available here
Contact.

VoxLogicA (February 10, 2021)

VoxLogicA: the Voxel-based Logical Analyser. VoxLogicA is a model checker dedicated to classifying pixels/voxels in 2D/3D images, based on their spatial logical properties, such as proximity, distance, reachability, texture, colour, etc.
Available here
Contact.