Description: Design and analysis tool for API consumption & provision. Academic prototype featuring bottom-up and top-down choreographic design https://www.cs.le.ac.uk/people/et52/chorgram_betty_ch.pdf Developed at: GSSI, UKENT Contacts: Emilio Tuosto Available at: https://bitbucket.org/emlio_tuosto/chorgram/wiki/Home

Description: ChorEr is a static analyzer to generate Choreography Automata from Erlang source code. The tool creates a DOT file for the local view of each participant in a choreography

Description: CauDEr is a causal-consistent reversible debugger for Erlang. It allows one to explore a concurrent Erlang computation both back and forward, looking for bugs. When going back, one can undo

Description: The tool provides a novel modular and tunable approach to binary asynchronous subtyping that derives from the application of abstract interpretation, and in particular string relaxation. Developed at: UKENT, GSSI

Description: This tool implements a sound algorithm to check whether a session type is an asynchronous subtype of another. The algorithm is defined in the paper: A Sound Algorithm for Asynchronous

Description: An open-source choreography language for developing correct adaptive distributed systems from a global viewpoint. Developed at: UNIBO Contacts: Ivan Lanese Available at: http://www.cs.unibo.it/projects/jolie/aiocj.html