/sessiontypechecker

This is a rebar3 plugin to typecheck multiparty sessions in Erlang projects to ensure conformance to the system global type that specifies its expected global protocol.

Primary LanguageErlangApache License 2.0Apache-2.0

Stargazers