Uses of Package
dev.civl.gmc.seq
Packages that use dev.civl.gmc.seq
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.
-
Classes in dev.civl.gmc.seq used by dev.civl.gmcClassDescriptionA DfsSearcher performs a depth-first search of the state space of a transition system, stopping immediately if it finds a state satisfying the given predicate.An EnablerIF tells you which transitions should be explored from a given state.A StateManagerIF provides part of a generic interface to a state-transition system.
-
Classes in dev.civl.gmc.seq used by dev.civl.gmc.concurrentClassDescriptionAn EnablerIF tells you which transitions should be explored from a given state.A StateManagerIF provides part of a generic interface to a state-transition system.
-
Classes in dev.civl.gmc.seq used by dev.civl.gmc.dporClassDescriptionA StateManagerIF provides part of a generic interface to a state-transition system.
-
Classes in dev.civl.gmc.seq used by dev.civl.gmc.seqClassDescriptionAn EnablerIF tells you which transitions should be explored from a given state.A Node in the state graph for the sequential depth first search.The stack entry that is going to be pushed onto the stack during the search.A StateManagerIF provides part of a generic interface to a state-transition system.
-
Classes in dev.civl.gmc.seq used by dev.civl.gmc.smcClassDescriptionAn EnablerIF tells you which transitions should be explored from a given state.A StateManagerIF provides part of a generic interface to a state-transition system.