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

Package: maria (1.3.5-2 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: libc0.1 (>= 2.3.4) [kfreebsd-amd64, kfreebsd-i386]
    GNU C Library: Shared libraries
    also a virtual package provided by libc0.1-udeb
  • dep: libc0.3 (>= 2.10) [hurd-i386]
    GNU C Library: Shared libraries
    also a virtual package provided by libc0.3-udeb
  • dep: libc6 (>= 2.10) [hppa]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.3.4) [amd64, i386, mips, mipsel]
    dep: libc6 (>= 2.3.5-1) [m68k]
    dep: libc6 (>= 2.4) [armel, powerpc, s390]
    dep: libc6 (>= 2.5) [avr32]
    dep: libc6 (>= 2.6) [sparc]
  • dep: libc6.1 (>= 2.3.4) [ia64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6.1-udeb
    dep: libc6.1 (>= 2.4) [alpha]
  • dep: libgcc1 (>= 1:4.1.1) [not armel, avr32, hppa, hurd-i386, kfreebsd-amd64, kfreebsd-i386, m68k]
    GCC support library
    dep: libgcc1 (>= 1:4.2.1) [avr32]
    dep: libgcc1 (>= 1:4.4) [kfreebsd-amd64, kfreebsd-i386]
    dep: libgcc1 (>= 1:4.4.0) [armel]
    dep: libgcc1 (>= 4.2.1) [hurd-i386]
  • dep: libgcc2 (>= 4.0.1) [m68k]
    Package not available
  • dep: libgcc4 (>= 4.1.1) [hppa]
    GCC support library
  • dep: libncurses5 (>= 5.4-5) [m68k]
    shared libraries for terminal handling
    dep: libncurses5 (>= 5.6+20071006-3) [not m68k]
  • dep: libreadline5 [m68k]
    GNU readline and history libraries, run-time libraries
    dep: libreadline5 (>= 5.2) [avr32]
  • dep: libreadline6 [not avr32, m68k]
    GNU readline and history libraries, run-time libraries
  • dep: libstdc++6 (>= 4.0.1) [m68k]
    The GNU Standard C++ Library v3
    dep: libstdc++6 (>= 4.1.1) [not armel, avr32, kfreebsd-amd64, kfreebsd-i386, m68k]
    dep: libstdc++6 (>= 4.2.1) [avr32]
    dep: libstdc++6 (>= 4.4) [kfreebsd-amd64, kfreebsd-i386]
    dep: libstdc++6 (>= 4.4.0) [armel]
  • dep: libunwind7 [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
alpha 1.3.5-2 465.0 kB1572 kB [list of files]
amd64 1.3.5-2 423.8 kB1248 kB [list of files]
armel 1.3.5-2 364.1 kB1108 kB [list of files]
avr32 (unofficial port) 1.3.5-1 385.8 kB964 kB [list of files]
hppa 1.3.5-2 443.8 kB1288 kB [list of files]
hurd-i386 1.3.5-2 366.4 kB1124 kB [list of files]
i386 1.3.5-2 366.2 kB1124 kB [list of files]
ia64 1.3.5-2 606.0 kB2376 kB [list of files]
kfreebsd-amd64 1.3.5-2 423.2 kB1158 kB [list of files]
kfreebsd-i386 1.3.5-2 366.4 kB1030 kB [list of files]
m68k (unofficial port) 1.3.5-1 343.1 kB1176 kB [list of files]
mips 1.3.5-2 389.8 kB1564 kB [list of files]
mipsel 1.3.5-2 388.5 kB1564 kB [list of files]
powerpc 1.3.5-2 390.6 kB1268 kB [list of files]
s390 1.3.5-2 407.0 kB1236 kB [list of files]
sparc 1.3.5-2 359.2 kB1136 kB [list of files]