|
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]
Homepage:
http://www.tcs.hut.fi/Software/maria/
Tar/GZ:
http://www.tcs.hut.fi/Software/maria/src/
Trove categories:
[change]
Dependencies:
[change]
No dependencies filed
|
|
» Rating:
(not rated)
» Vitality: 0.00% (Rank 25449)
» Popularity: 0.06% (Rank 41947)

(click to enlarge graphs)
Record hits: 1,135
URL hits: 124
Subscribers: 0
|
|