Username / Password :   
Main Navigation
         About Dictionary
Microsoft Users

    $  .  /  0  1  2  3  4  6  8  9  A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  [  ~
The LinuxDig.Com Linux Dictionary is currently in Beta.
You can help, email Comments or Suggestions here.
I.E. users please click.
Number of Terms : 8142 Number of Definitions : 9135

mona

1. a 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/. From Debian 3.0r0 APT
Source:
Linux Dictionary (version 0.12)
author: Binh Nguyen
linuxfilesystem(at)yahoo(dot)com(dot)au

This Linux Dictionary is distributed under the GNU
Free Documentation License. Online version is at
http://www.tldp.org/LDP/Linux-Dictionary/html/index.htm



Site Hosted By Digital Environments, Inc. This Website was Created with DE-Web Version 1.9.7.4,
The Fast, Web Based - Website Design Tool, Groupware and Web Hosting System by Digital Environments, Inc.
Groupware:Project Management, Sales Tracking, Web Site Design and News / Blogger all in one package.