Spinja Promela-Compiler. Ein Java-basierter Modell-Checker für Promela
Jetzt downloaden

Spinja Promela-Compiler. Ranking & Zusammenfassung

Spinja Promela-Compiler. Stichworte

überprüfen Modell

Spinja Promela-Compiler. Beschreibung

Spinja Promela Compiler ist ein kostenloser Model-Checker für Promela, der in Java geschrieben wurde. Promela ist die Modellierungssprache für den Spin-Modell-Checker. Spinja unterstützt eine große Teilmenge der Promela-Sprache. Sie können Spinja Promela-Compiler verwenden, um die Abwesenheit von Deadlocks, Behauptungen, Lektivitätseigenschaften und LTL-Eigenschaften zu überprüfen (via NIE). Der Spinja-Überprüfungsmodus kann (verschachtelte) Tiefe erste Suche oder der ersten Suchtiefe verwenden. Spinja Promela Compiler ist plattformübergreifend und es funktioniert auf Mac OS X, Windows und Linux.

Spinja Promela-Compiler. Zugehörige Software