OKlibrary  0.2.1.6
ModelChecking.hpp File Reference

Plans regarding building model checking tools. More...

Go to the source code of this file.


Detailed Description

Plans regarding building model checking tools.

For modal logics see Buildsystem/ExternalSources/SpecialBuilds/plans/Logics.hpp.

Todo:
Model checking and variations
Todo:
BAT

Definition in file ModelChecking.hpp.