Fiche Logiciel - Cubicle
Cubicle
Cubicle est un vérificateur de modèles open source permettant de vérifier les propriétés de sécurité des systèmes basés sur des tableaux, qui correspondent à une classe syntaxiquement restreinte de systèmes de transition paramétrés dont les états sont représentés par des tableaux indexés avec un nombre arbitraire de processus.
Discipline(s):
Non renseigné
Domaine(s) d'application:
Non renseigné
Mot(s)-clé(s):
Non renseigné
Contact :
Contact non renseingé
Aucun laboratoire associé.