MONA is a tool that translates formulas to finite-state automata. The formulas may express search patterns, temporal properties of reactive systems, ...
確定！ 回上一頁
