Maria

From Unmaintained Free Software

Revision as of 13:49, 6 February 2008 by Uwe Hermann (Talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Nuvola Box.png
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)
Nuvola Red.png
Status: Unmaintained

This project is looking for a new maintainer!

Nuvola eMail.png
Authors
Nuvola Newsletter.png
Maintenance History

  • 12 Jan 2008: Initial announce. [Source: User:Imipak ]
  • 29 Jul 2005: Development stopped.

Retrieved from "http://unmaintained-free-software.org/wiki/Maria"
Personal tools