A runtime monitor that uses Alloy as a specification language
Primary LanguageScalaMIT LicenseMIT
No one’s star this repository yet.