Package edu.udel.cis.vsl.gmc.smc
package edu.udel.cis.vsl.gmc.smc
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 interfaceStateManager
used by SMC.This is a simple sequential model checker (SMC) implementing general model checker (GMC).The implementation ofEnablerIF
used by SMC.The implementation of the interfaceTraceStepIF
used by SMC.