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 automata as well as a DOT file for the global view in the specified folder. To visualize the Choreography Automatas, copy paste the content’s files in a DOT viewer (https://dreampuf.github.io/GraphvizOnline).

Developed at: UNIBO

Contacts: van Lanese

Available at: https://github.com/gabrielegenovese/chorer