A monitor synthesis tool for session types.
Primary LanguageScalaBSD 2-Clause "Simplified" LicenseBSD-2-Clause