Spinja Promela Compiler Een op Java gebaseerde modelcontrole voor Promela
Download nu

Spinja Promela Compiler Rangschikking & Samenvatting

Spinja Promela Compiler Tags

controleren model-

Spinja Promela Compiler Beschrijving

Spinja Promela Compiler is een gratis en open-source modelcontrole voor Promela, geschreven in Java. Promela is de modelleertaal voor de draaimodelcontrole. Spinja ondersteunt een grote subset van de Promela-taal. U kunt Spinja Promela-compiler gebruiken om te controleren op de afwezigheid van deadlocks, beweringen, levenseigenschappen en LTL-eigenschappen (via nooit claims). Spinja-verificatiemodus kan (geneste) diepte eerste zoekopdracht of breedte zoekopdracht gebruiken. Spinja Promela Compiler is cross-platform en het werkt op Mac OS X, Windows en Linux.

Spinja Promela Compiler Gerelateerde software