Software and tools

Choral development methodology

Choral

A mainstream choreographic programming language.

jLibBig logo

jLibBig

A Java library for Bigraphs and Bigraphical Reactive Systems.

epim demo screenshot

EPiM

A simulator for π-calculus processes.

lemma2jolie pipeline

LEMMA2Jolie

A tool for generating microservice APIs from domain models.