Spinja PROMLA COMPILER Un vérificateur de modèle Java pour promela
Télécharger maintenant

Spinja PROMLA COMPILER Classement & Résumé

Spinja PROMLA COMPILER Mots clés

Chèque maquette

Spinja PROMLA COMPILER La description

Spinja PROMLA COMPILER est un vérificateur de modèle gratuit et open source pour PROMELA, écrit en Java. PROMELA est la langue de modélisation du vérificateur de modèle de spin. Spinja prend en charge un grand sous-ensemble de la langue PROMELA.Vous pourrez utiliser Spinja Promela Compiler pour vérifier l'absence d'impulsions, d'affirmations, de propriétés de la vie et de propriétés LTL (VIA jamais réclamations). Le mode de vérification de Spinja peut utiliser une profondeur (imbriquée) Première recherche ou une première recherche d'une première recherche. Spinja PROMLA COMPILER est multiplate-forme et fonctionne sur Mac OS X, Windows et Linux.

Spinja PROMLA COMPILER Logiciels associés