Module dev.civl.gmc

module dev.civl.gmc

Packages

Exports

Package	Description
dev.civl.gmc	The root package of generic model checking is used to construct model checking applications, either sequential or concurrent.
dev.civl.gmc.seq	This package provides sequential generic model checking functionality.