1La chaleur
2Répondre
SPIN: interpréter la trace d'erreur
2La chaleur
1Répondre
Est-il impossible de sélectionner une valeur non déterministe d'un élément de tableau dans Promela?
1La chaleur
2Répondre
Référencement de l'état précédent dans l'instruction Promela LTL
1La chaleur
1Répondre
1La chaleur
1Répondre
Quels types d'états et de transitions la "profondeur atteinte" de Spin prend-elle en compte?
1La chaleur
1Répondre
Comment envoyer et recevoir dans un processus PROMELA sans timeout/deadlock?
1La chaleur
1Répondre
Test de plusieurs formules LTL avec SPIN
1La chaleur
1Répondre
Comment implémenter répéter boucle (condition) dans promela?
1La chaleur
1Répondre
1La chaleur
1Répondre
Pourquoi le modèle Promela expire-t-il?