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

Package: mona (1.4-7-4 and others)

a theorem prover based on automata

MONA is a tool that translates formulas in the logics WS1S or WS2S into finite-state automata represented by BDDs. The formulas may express search patterns, temporal properties of reactive systems, parse tree constraints, etc. MONA also analyses the automaton resulting from the compilation, and determines whether the formula is valid and, if the formula is not valid, generates a counter-example.

Documentation is available from the MONA website http://www.brics.dk/mona/.

Tags: Field: Mathematics, Role: Program, Scope: Utility

Other Packages Related to mona

  • depends
  • recommends
  • suggests
  • dep: libc6 (>= 2.3.2.ds1-21) [i386]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.3.5-1) [not alpha, i386, ia64]
  • dep: libc6.1 (>= 2.3.5-1) [alpha, 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, hppa, ia64, sparc]
    dep: libgcc1 (>= 1:4.0.2) [amd64]
  • dep: libgcc4 (>= 4.1.1-12) [hppa]
    GCC support library
  • dep: libstdc++6 (>= 4.0.1) [not amd64, hppa]
    The GNU Standard C++ Library v3
    dep: libstdc++6 (>= 4.0.2-4) [amd64]
    dep: libstdc++6 (>= 4.1.1-12) [hppa]
  • 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

Download mona

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha 1.4-7-4 317.8 kB1096 kB [list of files]
amd64 1.4-7-4 262.9 kB860 kB [list of files]
arm 1.4-7-4 275.4 kB896 kB [list of files]
hppa 1.4-7-4+b1 307.4 kB952 kB [list of files]
i386 1.4-7-4 251.3 kB751 kB [list of files]
ia64 1.4-7-4 392.3 kB1692 kB [list of files]
mips 1.4-7-4 299.7 kB1260 kB [list of files]
mipsel 1.4-7-4 297.9 kB1260 kB [list of files]
powerpc 1.4-7-4 278.9 kB920 kB [list of files]
s390 1.4-7-4 250.8 kB872 kB [list of files]
sparc 1.4-7-4 243.6 kB832 kB [list of files]