Models API¶
pyModelChecking provides implementations for directed graph and Kripke structures.
Graph API¶
It is used to define directed graphs and provides a method to compute the strogly connected components of a directed graph.
Kripke API¶
It is used to define Kripke structures.