Formal Verification Based on Relation Checking in SPIN: A Case Study

Par Conseil national de recherches du Canada

Téléchargement
  1. (PDF, 678 Kio)
AuteurRechercher : ; Rechercher : ; Rechercher :
FormatTexte, Article
ConférenceProceedings of the First Workshop on Formal Methods in Software Practice, January 11, 1996., San Diego, California, USA
Résumé
Date de publication
Langueanglais
Numéro du CNRCNRCC 39183
Numéro NPARC5765210
Exporter la noticeExporter en format RIS
Signaler une correctionSignaler une correction (s'ouvre dans un nouvel onglet)
Identificateur de l’enregistrement2236c9d2-5c5a-4e38-a247-c782e780e4a0
Enregistrement créé2009-03-29
Enregistrement modifié2020-03-20
Date de modification :