Logics and Model Checking API¶
The implementations of specific languages and their model checking routines are contained in pyModelChecking sub-modules. CTL*, CTL, and LTL are handled by CTLS sub-module, CTL sub-module and LTL sub-module, respectively.
CTLS sub-module API¶
It represents CTL* formulas and provides model checking methods for them.
Language¶
Model Checking¶
CTL sub-module API¶
It represents CTL formulas and provides model checking methods for them.
Language¶
Model Checking¶
LTL sub-module API¶
It represents LTL formulas and provides model checking methods for them.