Feature #29
Support Promela Input
Status: | In Progress | Start date: | 07/22/2010 | |
---|---|---|---|---|
Priority: | Normal | Due date: | ||
Assignee: | Alexander Heußner | % Done: | 0% |
|
Category: | - | |||
Target version: | 2.0 |
Description
Complete the Promela parser and connect it to McScM.
This feature will require major changes to the tool :
- both input languages (SCM and Promela) should use the same semantics backend (Scm or directly LatticeAutomata).
- the Model signatures will have to be enriched to support some constructs of Promela (e.g. atomicity).
History
Updated by Grégoire Sutre almost 6 years ago
- Status changed from New to In Progress
- Priority changed from Low to Normal
- Target version set to 2.0