Filewatcher File Search File Search
Catalog
Content Search
» » » » »

mona

a theorem prover based on automata

Variants:
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/.

Homepage:
Package version:1.4-13-1
Architecture:i386
Distribution:Debian
Filename:mona_1.4-13-1_i386.deb

/usr/share/doc/mona/README

MONA Version 1.4
Copyright (C) 1997-2008 BRICS.

[The 'Mem/dlmalloc.*' are the memory management
routines of Doug Lea (dl@cs.oswego.edu) and are 
not covered by the BRICS copyright.]

Please read the file 'COPYING' before you use MONA.
To compile and install, see the file 'INSTALL'.

The 'MONA Version 1.4 User Manual' is available from the MONA homepage.

Information about the Graphviz tool for vi
more»

/usr/share/man/man1/mona.1.gz

MONA(1)                      BRICS tools                     MONA(1)



NAME
       mona - a decision procedure for the logics WS1S and WS2S

SYNOPSIS
       mona [ options ] mona-file

DESCRIPTION
       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 propertie
more»

/usr/share/doc/mona/changelog.Debian.gz

mona (1.4-13-1) unstable; urgency=low

  * New upstream release
  * debian/rules:
    - we do not have to calculate DEB_HOST_ARCH ourselves
    - dh-clean -k => dh_prep
    - Drop usage of dpatch, link to recent config.{sub.guess} during build.
    - use variable $(INSTALLROOT)
    - install lintian overrides
  * Lintian overrides for private libraries 
  * dh-compat level 7
  * Change section to 
more»

/usr/share/doc/mona/changelog.gz

2008-08-05 (version 1.4-13)
  - fixed bug in basic automaton for x=y+1%z [Thanks to Stan Rosenberg!]
more»

/usr/share/doc/mona/copyright

This package was debianized by Ralf Treinen <treinen@debian.org> on
Mon, 23 Oct 2000 20:25:27 +0200.
more»

Browse inside mona_1.4-13-1_i386.deb

         [DIR]DEBIAN/ (7)  65535+ mirrors
         [DIR]etc/ (1)  65535+ mirrors
         [DIR]usr/ (4)  65535+ mirrors

Download mona_1.4-13-1_i386.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com