/scalaCTL

A prototype CTL Model Checker coded in Scala

No issues in this repository yet.