/pisim22

An equivalence checker for pi calculus models. The problem is tackled via Fresh-Register Automata.

Primary LanguageGoMIT LicenseMIT

No issues in this repository yet.