MONA 1.4-13

Size 426.614 KB   0 seeders     Added 2011-06-23 11:31:32

To download or stream you need BitLord. Visit them at BitLord.com
MONA is a simple utility that was created in order to provide you with a quick means of translating formulas into finite-state automata. The formulas may express search patterns, temporal properties of reactive systems, parse tree constraints, etc. MONA analyses the automaton resulting from the compilation and prints out "valid" or a counter-example.What's new in MONA : fixed bug in basic automaton for x=y+1%z
mona-1.4-13/mona-1.4-13.exe 426.603 KB
mona-1.4-13/Torrent downloaded from Seedpeer.com.txt 11 B
Gathering some info...

Register and log in Isohunt and see no captcha anymore!

4000 symbols left
Hash e412bf14ba4be76f1db8315629e697da2404e300