/scalaCTL

A prototype CTL Model Checker coded in Scala

testing