mona (1) Linux Manual Page
NAME mona – a decision procedure for the logics WS1S and WS2S SYNOPSIS mona [ options ] mona-file DESCRIPTION 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…
