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

Package: mona (1.4-10-1)

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.7-1) [not alpha, ia64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
  • dep: libc6.1 (>= 2.7-1) [alpha, ia64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6.1-udeb
  • dep: libgcc1 (>= 1:4.1.1-21) [not arm, armel, hppa]
    GCC support library
    dep: libgcc1 (>= 1:4.3) [arm, armel]
  • dep: libgcc4 (>= 4.1.1-21) [hppa]
    GCC support library
  • dep: libstdc++6 (>= 4.2.1-4) [not armel]
    The GNU Standard C++ Library v3
    dep: libstdc++6 (>= 4.3) [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

Download mona

Download for all available architectures
Architecture Package Size Installed Size Files
alpha 526.6 kB2060 kB [list of files]
amd64 431.2 kB1492 kB [list of files]
arm 418.2 kB1320 kB [list of files]
armel 402.4 kB1264 kB [list of files]
hppa 492.1 kB1540 kB [list of files]
i386 396.1 kB1196 kB [list of files]
ia64 635.5 kB2596 kB [list of files]
mips 445.0 kB1752 kB [list of files]
mipsel 454.7 kB1828 kB [list of files]
powerpc 452.4 kB1496 kB [list of files]
s390 414.8 kB1356 kB [list of files]
sparc 403.4 kB1348 kB [list of files]