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-2
Architecture:amd64
Distribution:Debian
Filename:maria_1.3.5-2_amd64.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/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 - 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»

/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-2) unstable; urgency=low

  * debhelper compatibility level 7.
  * Standards-Version 3.
more»

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

Maria NEWS -- history of user-visible changes.  29th July 2005
Copyright � 2002,2003,2004,2005 Marko
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-2_amd64.deb

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

Download maria_1.3.5-2_amd64.deb

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