JarCasting
JarCasting JarCasting

Project Group: net.bretti.modelcheck

modelcheck

 net.bretti.modelcheck : modelcheck

modelcheck is a Java library that allows you to check whether a given transition system (described as a Kripke structure) satisfies a given computation tree logic (CTL) formula.

Last Version: 1.0.0

Release Date:

  • 1