Mona übersetzt Formeln in Finite-State Automata
Jetzt downloaden

Mona Ranking & Zusammenfassung

Mona Stichworte

Formel Übersetzen Automatisierung Formel übersetzen Formel-Übersetzer. Formel zur Automatisierung

Mona Beschreibung

Übersetzt Formeln zu Finite-State Automata Mona ist ein Open-Source und ein kostenloses Tool, mit dem Sie Formeln in Finite-State Automata übersetzen können. Die Formeln können Suchmuster, zeitliche Eigenschaften reaktiver Systeme, Analysebaumeinschränkungen usw. ausdrücken. Mona analysiert den von der Zusammenstellung resultierenden Automaton und druckt "Gültig" oder ein Gegenbeispiel. Mona implementiert Entscheidungsverfahren für die schwache Theorie der zweiten Bestellanordnung von einem oder zwei Nachfolgern (WS1s / WS2s). Die Theorie eines Nachfolgers, der als WS1s bekannt ist, ist ein Fragment von Arithmetik, das mit der Quantifizierung der zweiten Ordnung über endliche Sätze von natürlichen Zahlen vergrößert wird. Die Ausführungen der ersten Ordnung bezeichnen nur natürliche Zahlen. Die Theorie hat keinen Hinzufügen, da dies nicht unentscheidbar machen würde, aber es hat einen unartigen Betrieb +1, der als Nachfolgerfunktion bekannt ist. WS2s ist eine Verallgemeinerung zu Baumstrukturen. Da die Theorien monadische Logik mit zweiter Ordnung sind, nennen wir unser Werkzeugmona. Was ist neu in dieser Version: · Behobener Fehler in Basis Automaton für x = y + 1% Z

Mona Zugehörige Software