Analysis of Concurrent Systems
» McScM
Overview
Download
Roadmap
Issues
Documents
Wiki
Files
1.2
10/15/2011
100%
5 closed
(100%) 0 open (0%)
Related issues
Bug #75
: Compiling McScM under OCaml 4.00
Feature #20
: Lazy Cegar Tree
Feature #27
: Convert QDDs to regular expressions for display
Feature #42
: [Experiment] Ignore abstract node regions in Cegar's trace checking
Loading...