The root package of generic model checking is used to construct model checking applications, either sequential or concurrent.
This package provides concurrent generic model checking functionality.
This package provides sequential generic model checking functionality.
A simple implementation of General Model Checker (GMC) is used by a set of code coverage test cases.
The utility package for GMC, providing a set of utility classes and functions used by GMC.