About:
Maria is a reachability analyzer for concurrent systems that uses Algebraic System Nets (a high-level variant of Petri nets) as its modelling formalism. It is implemented as a pack of software tools that perform reachability analysis and check safety and liveness properties of distributed system models. The models can be constructed either by hand or automatically from other formalisms, such as the CCITT Specification and Description Language (SDL).

Author:
Marko Mäkelä <maria (at) tcs (dot) hut (dot) fi> [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
(not rated)

Homepage:
http://www.tcs.hut.fi/Software/maria/
Tar/GZ:
http://www.tcs.hut.fi/Software/maria/src/

Trove categories: [change]

[Development Status]		5 - Production/Stable
[Environment]		X11 Applications
[Intended Audience]		Developers
[License]		OSI Approved :: GNU General Public License (GPL)
[Operating System]		Microsoft :: Windows :: Windows 95/98/ME, Microsoft :: Windows :: Windows NT/2000/XP, POSIX, Unix
[Programming Language]		C++, Tcl
[Topic]		Software Development :: Code Generators

Dependencies: [change]
No dependencies filed

 Branches

Branch	Version	Last release	License	URLs
Default	1.3.5	26-Aug-2005	GNU General Public License (GPL)