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

Package: mona (1.4-13-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.2) [hppa, i386, mips, mipsel]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.2.5) [amd64]
    dep: libc6 (>= 2.4) [armel, powerpc, s390]
    dep: libc6 (>= 2.6) [sparc]
  • dep: libc6.1 (>= 2.2) [ia64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6.1-udeb
  • dep: libgcc1 (>= 1:4.1.1) [not armel, hppa]
    GCC support library
    dep: libgcc1 (>= 1:4.4.0) [armel]
  • dep: libgcc4 (>= 4.1.1) [hppa]
    GCC support library
  • dep: libstdc++6 (>= 4.2.1) [not armel]
    The GNU Standard C++ Library v3
    dep: libstdc++6 (>= 4.4.0) [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
amd64 428.8 kB1496 kB [list of files]
armel 401.1 kB1280 kB [list of files]
hppa 490.3 kB1536 kB [list of files]
i386 397.8 kB1296 kB [list of files]
ia64 621.7 kB2528 kB [list of files]
mips 422.1 kB1692 kB [list of files]
mipsel 420.2 kB1692 kB [list of files]
powerpc 450.0 kB1496 kB [list of files]
s390 413.9 kB1364 kB [list of files]
sparc 405.2 kB1360 kB [list of files]