/F3

F3 is a prototype tool that searches for fair paths in finite/infinite state transition systems.

Primary LanguageCMIT LicenseMIT

No issues in this repository yet.