An equivalence checker for pi calculus models. The problem is tackled via Fresh-Register Automata.
Primary LanguageGoMIT LicenseMIT
No issues in this repository yet.