mona_1.4-13-3_amd64.deb


Advertisement

Description

mona - theorem prover based on automata

Property Value
Distribution Ubuntu 12.04 LTS (Precise Pangolin)
Repository Ubuntu Universe amd64
Package name mona
Package version 1.4
Package release 13-3
Package architecture amd64
Package type deb
Installed size 1.44 KB
Download size 436.00 KB
Official Mirror archive.ubuntu.com
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/.

Alternatives

Package Version Architecture Repository
mona_1.4-13-3_i386.deb 1.4 i386 Ubuntu Universe
mona - - -

Requires

Name Value
libc6 >= 2.7
libgcc1 >= 1:4.1.1
libstdc++6 >= 4.2.1

Download

Type URL
Binary Package mona_1.4-13-3_amd64.deb
Source Package mona

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install mona deb package:
    # sudo apt-get install mona

Files

Path
/etc/emacs/site-start.d/50mona.el
/usr/bin/dfa2dot
/usr/bin/gta2dot
/usr/bin/mona
/usr/include/mona/bdd.h
/usr/include/mona/config.h
/usr/include/mona/dfa.h
/usr/include/mona/dlmalloc.h
/usr/include/mona/gnuc.h
/usr/include/mona/gta.h
/usr/include/mona/mem.h
/usr/lib/libmonabdd.a
/usr/lib/libmonabdd.so
/usr/lib/libmonabdd.so.1
/usr/lib/libmonabdd.so.1.0.4
/usr/lib/libmonadfa.a
/usr/lib/libmonadfa.so
/usr/lib/libmonadfa.so.1
/usr/lib/libmonadfa.so.1.0.4
/usr/lib/libmonagta.a
/usr/lib/libmonagta.so
/usr/lib/libmonagta.so.1
/usr/lib/libmonagta.so.1.0.4
/usr/lib/libmonamem.a
/usr/lib/libmonamem.so
/usr/lib/libmonamem.so.1
/usr/lib/libmonamem.so.1.0.4
/usr/lib/emacsen-common/packages/install/mona
/usr/lib/emacsen-common/packages/remove/mona
/usr/share/doc/mona/README
/usr/share/doc/mona/changelog.Debian.gz
/usr/share/doc/mona/copyright
/usr/share/doc/mona/examples/ab1.mona
/usr/share/doc/mona/examples/ab2.mona
/usr/share/doc/mona/examples/bdd_example.c.gz
/usr/share/doc/mona/examples/bdd_example.gz
/usr/share/doc/mona/examples/bdd_volatility
/usr/share/doc/mona/examples/even.mona
/usr/share/doc/mona/examples/even_with_assert.mona
/usr/share/doc/mona/examples/even_with_pred.mona
/usr/share/doc/mona/examples/gta_example.c.gz
/usr/share/doc/mona/examples/gta_example.gz
/usr/share/doc/mona/examples/html.mona.gz
/usr/share/doc/mona/examples/hyman.mona.gz
/usr/share/doc/mona/examples/lossy_queue.mona
/usr/share/doc/mona/examples/makefile.am
/usr/share/doc/mona/examples/makefile.gz
/usr/share/doc/mona/examples/makefile.in.gz
/usr/share/doc/mona/examples/minusmodulo.mona
/usr/share/doc/mona/examples/nadder.mona
/usr/share/doc/mona/examples/plusmodulo.mona
/usr/share/doc/mona/examples/presburger.mona
/usr/share/doc/mona/examples/presburger_analysis.c
/usr/share/doc/mona/examples/presburger_analysis.gz
/usr/share/doc/mona/examples/presburger_transduction.c
/usr/share/doc/mona/examples/presburger_transduction.gz
/usr/share/doc/mona/examples/regexp.mona
/usr/share/emacs/site-lisp/mona/mona-mode.el
/usr/share/lintian/overrides/mona
/usr/share/man/man1/mona.1.gz

See Also

Package Description
monajat-applet_2.6.3-1_all.deb Islamic supplications tray applet
monajat-data_2.6.3-1_all.deb Islamic supplications database
monajat-mod_2.6.3-1_all.deb Islamic supplications console utility
monajat-screenlet_2.6.3-1_all.deb Islamic supplications screenlet
monajat_2.6.3-1_all.deb Islamic supplications tray applet (transitional package)
monav-client_0.3-6_amd64.deb fast navigation system featuring exact routing - client
monav-data_0.3-6_all.deb fast navigation system featuring exact routing - data files
monav-preprocessor_0.3-6_amd64.deb fast navigation system featuring exact routing - preprocessor
monav-routing-daemon_0.3-6_amd64.deb fast navigation system featuring exact routing - routing daemon
monav_0.3-6_amd64.deb metapackage for MoNav
mongodb-clients_2.0.4-1ubuntu2_amd64.deb object/document-oriented database (client apps)
mongodb-dev_2.0.4-1ubuntu2_amd64.deb object/document-oriented database (development)
mongodb-server_2.0.4-1ubuntu2_amd64.deb object/document-oriented database (server package)
mongodb_2.0.4-1ubuntu2_amd64.deb object/document-oriented database (metapackage)
mongrel-doc_1.1.5-5_all.deb A small fast HTTP library and server for Ruby (documentation)
Advertisement
Advertisement