DYNAMO Tool Description: SmvModel
Name
SmvModel: Model for SMV input.
Description
SMV Model provides a model for Smv input files generated by the Para2Smv program. It is not intended for standalone usage.
Operating System Dependencies
SmvModel is compilable under UNIX or Solaris operating systems.
Program Dependencies
SMVModel is used by the
Para2Smv program.
Compilation Instructions
Unzip and untar the source code.
cd SmvModel
./mmkmf
gmake Makefiles
gmake includes
gmake depend
gmake all
Download
SmvModel source code for unix/solaris can be downloaded here.
Point of Contact
dynamo-support@cc.gatech.edu
Last modified: Mon Mar 11 15:09:19 EST 2002