A simple implementation of General Model Checker (GMC) is used by a set of code coverage test cases. And it can be regarded as a simple example of the implementation of client part of GMC.
ClassDescriptionA simple directed graph implemented with a square matrix.The predicate used for detecting violation state defined in the given list
states.The implementation of the interface
StateManagerused by SMC.This is a simple sequential model checker (SMC) implementing general model checker (GMC).The implementation of
EnablerIFused by SMC.The implementation of the interface
TraceStepIFused by SMC.