Filewatcher File Search File Search
Catalog
Content Search
» » » » »

maria

reachability analyzer for Algebraic System Nets

Variants:
Maria is a powerful tool designed to aid engineers in modelling and solving concurrency related problems in parallel and distributed computing systems.

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.

Homepage:
Package version:1.3.5-4
Architecture:sparc
Distribution:Debian
Filename:maria_1.3.5-4_sparc.deb

/usr/share/doc/maria/examples/README.examples

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»

/usr/share/doc/maria/NEWS.gz

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»

/usr/share/man/man1/maria-cso.1.gz

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»

/usr/share/man/man1/maria-vis.1.gz

MARIA-VIS(1)                                            MARIA-VIS(1)



NAME
       maria-vis - grap
more»

/usr/share/man/man1/maria.1.gz

MARIA(1)                                                    MARIA(1)



NAME
       maria  -  Modula
more»

/usr/share/doc/maria/changelog.Debian.gz

maria (1.3.5-4) unstable; urgency=low

  * debian/control:
    - set section to science
    - set pr
more»

/usr/share/doc/maria/copyright

This package was debianized by Ralf Treinen <treinen@debian.org> on
Fri,  2 Aug 2002 22:20:09 +0200.
more»

Browse inside maria_1.3.5-4_sparc.deb

         [DIR]DEBIAN/ (5)  65535+ mirrors
         [DIR]etc/ (1)  65535+ mirrors
         [DIR]usr/ (3)  65535+ mirrors

Download maria_1.3.5-4_sparc.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com