MONA MONA is a logic-based programming language and a tool that translates programs, that is, formulas, to 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 it either prints out "valid" or a counter-example to the statement of the program.

Current Version:   1.3 License Type:   Free for Research or Educational Purposes

Home Site: http://www.brics.dk/mona/ Source Code Availability:   Yes Available Binary Packages: Debian Package:   No RedHat RPM Package:   No Other Packages:   Yes Targeted Platforms: Sun/Solaris, SGI, Linux Software/Hardware Requirements: None

Other Links: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Other Scientific Fields   |   Artificial Intelligence