MONAA tool that translates formulas to finite-state automata | |
Download |
MONA Ranking & Summary
Advertisement
MONA Tags
- formula Automaton Finite Cellular Automata Viewer cellular automata Automata automata synthesis buil Finite State Machines translates finite sets viewer view finite sets display finite sets hedge automata creator create finite machine generate finite state machine finite state machine creator Automata Automatic Analysis Finite Transform train track automata automata builder homeomorphism automata translate formula automaton analyzer finite-state automata Hodgepodge cellular automata Cellular automata simulation Finite Difference
MONA Description
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.
MONA Related Software