|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 NEWS -- history of user-visible changes. 29th July 2005 Copyright © 2002,2003,2004,2005 Marko Mäkelä See the end for copying conditions. * Maria 1.3.5 is a maintenance release with performance and portability fixes ** Identified performance bottlenecks with OProfile on GNU/Linux x86 *** Wrote non-looping log() functions for systems with 32-bit card_t. The function is 2 to 3 times fast 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 - grap more»
MARIA(1) MARIA(1) NAME maria - Modula more»
maria (1.3.5-4) unstable; urgency=low * debian/control: - set section to science - set pr more»
This package was debianized by Ralf Treinen <firstname.lastname@example.org> on Fri, 2 Aug 2002 22:20:09 +0200. more»