Ubuntu
mona package

mona 1.4-13-3 source package in Ubuntu

Changelog

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

  * debian/control:
    - Set maintainer to debian-science
    - Add  Vcs-Git/Vcs-Browser fields
    - Set priority down to extra
    - Set section to science
 -- Ubuntu Archive Auto-Sync <email address hidden>   Thu,  12 May 2011 07:51:06 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Oneiric
Original maintainer:
Debian Science Team
Architectures:
any
Section:
misc
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise release universe misc

Downloads

File Size SHA-256 Checksum
mona_1.4-13.orig.tar.gz 603.9 KiB 6e62668220b866b6e37b26f105a98f886f39d21fa328d344bad2e39bc0525d5b
mona_1.4-13-3.debian.tar.gz 6.3 KiB 90075f6697a7e174ef54cf0a8fd7a4c14b9149f5bdd82b888e752ed9bc7895f1
mona_1.4-13-3.dsc 1.2 KiB 90dc8ac53929fd91ef6737b026bae772e64f145472246cde1adba88847e8dc69

Available diffs

View changes file

Binary packages built by this source

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