Analysis of Concurrent Systems
» McScM
Overview
Download
Roadmap
Issues
Documents
Wiki
Files
1.3
Time tracking
Estimated time
2
.00
hours
(be merged with 1.x)
17%
1 closed
(14%)
6 open
(86%)
Related issues
Bug #59
: Account for k-max in trace-checking engines
Bug #72
: Bad states are not checked
Feature #24
: Optimize result verification
Feature #26
: Optimize scm cartesian product (or avoid it)
Feature #58
: Separate queue representation
Loading...