/CounterexampleClassificiation

Prototype tool for classifying counterexamples in a formal model.

Primary LanguageJavaMIT LicenseMIT

No issues in this repository yet.