SAL Home OTHERS Artificial Intelligence


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:

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:


Other Links:

Mailing Lists/USENET News Groups:


User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Other Scientific Fields   |   Artificial Intelligence

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.