|
Project Details
|
Maria is a reachability analyzer for concurrent systems that uses Algebraic System Nets (a high-level variant of Petri nets) as its modeling formalism.
Websites:
Downloads:
Dependencies:
- GraphViz
- LBT
- TVT (Tampere Verification Tool)
- Sforza+
Comments:
- Project home page states Marko Mäkelä stopped developing the tool in 2004 but the last release is datestamped 29th July 2005. --imipak 04:54, 13 January 2008 (CET)
|
|
|
|
This project is looking for a new maintainer!
|
|
|
Maintenance History
|
- 12 Jan 2008: Initial announce. [Source: User:Imipak ]
- 29 Jul 2005: Development stopped.
|
|
|
