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.

Language

Model Checking