Analysis of Concurrent Systems
» McScM
Overview
Download
Roadmap
Issues
Documents
Wiki
Files
Issues
Summary
Issues
#
Project
Tracker
Status
Priority
Subject
Author
Assignee
82
McScM
Feature
New
Low
Learning-based algorithm
Alexander Heußner
81
McScM
Feature
New
Normal
SCM++ (new automata definition language)
Alexander Heußner
80
McScM
Feature
New
Low
JSON output of counter-examples
Alexander Heußner
78
McScM
Feature
New
Normal
SCM input language
Tristan Le Gall
Tristan Le Gall
73
McScM
Feature
New
Normal
Better regular expressions
Tristan Le Gall
Tristan Le Gall
72
McScM
Bug
New
High
Bad states are not checked
Tristan Le Gall
Tristan Le Gall
59
McScM
Bug
New
Normal
Account for k-max in trace-checking engines
Grégoire Sutre
Grégoire Sutre
58
McScM
Feature
New
Normal
Separate queue representation
Tristan Le Gall
Tristan Le Gall
40
McScM
Feature
New
Normal
Source-code documentation (ocamldoc) in src/svar
Grégoire Sutre
29
McScM
Feature
In Progress
Normal
Support Promela Input
Grégoire Sutre
Alexander Heußner
26
McScM
Feature
New
Normal
Optimize scm cartesian product (or avoid it)
Grégoire Sutre
Tristan Le Gall
25
McScM
Bug
New
High
Scm consistency check takes too long
Grégoire Sutre
Tristan Le Gall
22
McScM
Bug
New
Normal
--help output not sensitive to terminal's characterwidth
Alexander Heußner
Alexander Heußner
21
McScM
Feature
New
Normal
redesign of command line parameters with respect to different checker-modules
Alexander Heußner
Alexander Heußner
Also available in:
Atom
CSV
PDF
Loading...