Analysis of Concurrent Systems
» McScM
Overview
Download
Roadmap
Issues
Documents
Wiki
Files
2.0
14%
1 closed
(14%)
6 open
(86%)
Related issues
Bug #22
: --help output not sensitive to terminal's characterwidth
Feature #21
: redesign of command line parameters with respect to different checker-modules
Feature #29
: Support Promela Input
Feature #74
: Internal actions
Feature #78
: SCM input language
Feature #80
: JSON output of counter-examples
Feature #81
: SCM++ (new automata definition language)
Loading...