[  etch  ] [  etch-m68k  ] [  lenny  ] [  squeeze  ] [  sid  ]
[ Source: maria  ]

Package: maria (1.3.5-1 and others)

reachability analyzer for Algebraic System Nets

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.

Tags: Software Development: Testing and QA, Field: Mathematics, User Interface: Text-based Interactive, Role: Program, Scope: Utility, Interface Toolkit: Ncurses TUI

Other Packages Related to maria

  • depends
  • recommends
  • suggests
  • dep: libc6 (>= 2.3.5-1) [not armel, ia64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.5-5) [armel]
  • dep: libc6.1 (>= 2.3.5-1) [ia64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6.1-udeb
  • dep: libgcc1 (>= 1:4.0.0-9) [sparc]
    GCC support library
    dep: libgcc1 (>= 1:4.0.1) [not amd64, armel, hppa, sparc]
    dep: libgcc1 (>= 1:4.0.2) [amd64]
    dep: libgcc1 (>= 1:4.2-20070516) [armel]
  • dep: libgcc4 (>= 4.1.1-12) [hppa]
    GCC support library
  • dep: libncurses5 (>= 5.4-5)
    shared libraries for terminal handling
  • dep: libreadline5 [not amd64, armel, hppa]
    GNU readline and history libraries, run-time libraries
    dep: libreadline5 (>= 5.1) [amd64, hppa]
    dep: libreadline5 (>= 5.2) [armel]
  • dep: libstdc++6 (>= 4.0.1) [not amd64, armel, hppa]
    The GNU Standard C++ Library v3
    dep: libstdc++6 (>= 4.0.2-4) [amd64]
    dep: libstdc++6 (>= 4.1.1-12) [hppa]
    dep: libstdc++6 (>= 4.2-20070516) [armel]
  • dep: libunwind7 (>= 0.98.5-6) [ia64]
    A library to determine the call-chain of a program - runtime
  • rec: graphviz
    rich set of graph drawing tools
  • rec: lbt
    converts from LTL formulas to Büchi automata
  • rec: maria-doc
    documentation of Maria

Download maria

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 1.3.5-1 416.2 kB1228 kB [list of files]
armel 1.3.5-1 372.3 kB1120 kB [list of files]
hppa 1.3.5-1+b1 450.6 kB1320 kB [list of files]
i386 1.3.5-1 397.7 kB1234 kB [list of files]
ia64 1.3.5-1 692.6 kB2804 kB [list of files]
mips 1.3.5-1 446.8 kB1872 kB [list of files]
mipsel 1.3.5-1 447.7 kB1872 kB [list of files]
powerpc 1.3.5-1 425.2 kB1388 kB [list of files]
s390 1.3.5-1 439.0 kB1408 kB [list of files]
sparc 1.3.5-1 396.1 kB1280 kB [list of files]