|File Search||Catalog||Content Search|
Maria finds deadlocks and violations against safety or liveness requirements by exploring all states that can be reached from the initial state of a system. The tool manages tens or hundreds of millions of reachable states and enabled actions.
The expressive power of Maria's formalism is close to high-level programming languages, thanks to its rich data type system and powerful algebraic operations.
How to use these examples ========================= To run the examples included in this directory you need write access to the directory. The best way is to create a copy, say as a subdirectory of the directory <someplace>: cp -r /usr/share/maria/examples <someplace> cd <someplace>/examples gunzip *.gz You can start maria on one of the Petri nets contained in this directory, for instance more»
MARIA-CSO(1) MARIA-CSO(1) NAME maria-cso - shared library generator for maria SYNOPSIS maria-cso directory library.so file.c... maria-cso directory library.so file.c DESCRIPTION This manual page documents briefly the maria-cso command. maria-cso is a shell script invoked by maria in order to com‐ pile gene more»
MARIA-VIS(1) MARIA-VIS(1) NAME maria-vis - graph visualization script for maria SYNOPSIS maria-vis DESCRIPTION This manual page documents briefly the maria-vis command. maria-vis is a lefty script invoked by maria in order to vis‐ ually present information to the user. The script reads com‐ mands and d more»
MARIA(1) MARIA(1) NAME maria - Modula more»
maria (1.3.5-2) unstable; urgency=low * debhelper compatibility level 7. * Standards-Version 3. more»
Maria NEWS -- history of user-visible changes. 29th July 2005 Copyright � 2002,2003,2004,2005 Marko more»
This package was debianized by Ralf Treinen <firstname.lastname@example.org> on Fri, 2 Aug 2002 22:20:09 +0200. more»