GMC, The Generic Model Checker, provides interfaces and search capability for model checking. Users need to define states and transitions.
GMC is open source software distributed under the GNU Lesser General Public License.
The current version of GMC is 0.1. Installation instructions can be found in the README file included in the distribution. The binary distributions include the required libraries.
The current builds have a file called
containing the build number.
GMC is copyright 2014, Verified Software Laboratory, University of Delaware. It is distributed under the terms of the GNU Lesser General Public License.