github.com/its-hmny/Choreia (go): A static analyzer to generate Choreography Automata from Go source
Keywords: choreography-automata|golang|static-analysis