Feature #29

Support Promela Input

Added by Grégoire Sutre over 6 years ago. Updated almost 6 years ago.

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).

Related issues

related to McScM - Feature #26: Optimize scm cartesian product (or avoid it) New

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

Also available in: Atom PDF