| Paketname | mona |
| Beschreibung | a theorem prover based on automata |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 1.4-13-1 |
| Sektion | universe/misc |
| Priorität | optional |
| Installierte Größe | 1320 Byte |
| Hängt ab von | libc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.2.1) |
| Empfohlene Pakete | graphviz |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 409464 Byte |
| Prüfsumme MD5 | 7a3390fbf44c5d959afbf55b541367c5 |
| Prüfsumme SHA1 | 43d3b363b5be8fdb58efb74e7a6d8ff1674544e2 |
| Prüfsumme SHA256 | 39abf6924a75e70de2a2863dad78c24f2f3104a0d67a1f87e8b7e3d810d49d3f |
| Link zum Herunterladen | mona_1.4-13-1_i386.deb |
| Ausführliche Beschreibung | 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/.
|