README
¶
Graphical interface and graph generator for the Maude strategy model checker
For model checking using the graphical user interface, the Maude interpreter version with full strategy support and including the strategy model checker is required. It should be made available to smcview as a program called maude in the same directory, in the current working directory or in the system path, but its location can also be specified by a program option. All options are described when calling smcview -help.
Compiled binaries of this program are available at the Releases section, and the Maude interpreter version can be downloaded from maude.ucm.es/strategies.
Build
Execute the commands go generate and go build. The static resources in the data directory are packed in the binary, but go build -tags dev can be used to read them from disk instead.
Documentation
¶
There is no documentation for this package.
Source Files
Directories
¶
| Path | Synopsis |
|---|---|
|
Package grapher allows generating graphs from model checker dumps.
|
Package grapher allows generating graphs from model checker dumps. |
|
Package maude provides access to the Maude interpreter.
|
Package maude provides access to the Maude interpreter. |
|
Package smcdump allows reading reports from the Maude strategy-aware model checker.
|
Package smcdump allows reading reports from the Maude strategy-aware model checker. |
|
Package util provides some utility functions
|
Package util provides some utility functions |
|
Package server provides an web-based interface for the model checker
|
Package server provides an web-based interface for the model checker |