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

Package: mona (1.4-13-1 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: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    GNU C Library: Shared libraries
    also a virtual package provided by libc0.1-udeb
  • dep: libc0.3 (>= 2.9) [hurd-i386]
    GNU C Library: Shared libraries
    also a virtual package provided by libc0.3-udeb
  • 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.5) [avr32]
    dep: libc6 (>= 2.5-5) [m68k]
    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: 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.2.1-1) [m68k]
    Package not available
  • dep: libgcc4 (>= 4.1.1) [hppa]
    GCC support library
  • dep: libstdc++6 (>= 4.2.1) [not armel, kfreebsd-amd64, kfreebsd-i386, m68k]
    The GNU Standard C++ Library v3
    dep: libstdc++6 (>= 4.2.1-4) [m68k]
    dep: libstdc++6 (>= 4.4) [kfreebsd-amd64, kfreebsd-i386]
    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 Version Package Size Installed Size Files
alpha 1.4-13-1 528.3 kB2080 kB [list of files]
amd64 1.4-13-1 428.8 kB1496 kB [list of files]
armel 1.4-13-1 401.1 kB1280 kB [list of files]
avr32 (unofficial port) 1.4-13-1 430.5 kB1300 kB [list of files]
hppa 1.4-13-1 490.3 kB1536 kB [list of files]
hurd-i386 1.4-13-1 392.7 kB1288 kB [list of files]
i386 1.4-13-1 397.8 kB1296 kB [list of files]
ia64 1.4-13-1 621.7 kB2528 kB [list of files]
kfreebsd-amd64 1.4-13-1 429.7 kB1404 kB [list of files]
kfreebsd-i386 1.4-13-1 394.6 kB1158 kB [list of files]
m68k (unofficial port) 1.4-10-1 342.8 kB1228 kB [list of files]
mips 1.4-13-1 422.1 kB1692 kB [list of files]
mipsel 1.4-13-1 420.2 kB1692 kB [list of files]
powerpc 1.4-13-1 450.0 kB1496 kB [list of files]
s390 1.4-13-1 413.9 kB1364 kB [list of files]
sparc 1.4-13-1 405.2 kB1360 kB [list of files]