Packages
Package
Description
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.