Description: The tool implements a well founded notion of protocol composition (which preserves progress, fairness and honours user-defined constraints expressed as assertions), and also allows to generate Erlang code (stubs) from BehAPI models, extract models from Erlang code, and migrate/reuse legacy code upon re-engineering of a protocol.

Developed at: UKENT, UGLA

Contacts:  l.bocchi@kent.ac.uk

Available at: https://zenodo.org/records/7105666