| Téléchargement | - Voir le manuscrit accepté : Formal Verification Based on Relation Checking in SPIN: A Case Study (PDF, 678 Kio)
|
|---|
| Auteur | Rechercher : Erdogmus, Hakan; Rechercher : Johnston, R.; Rechercher : Cleary, C. |
|---|
| Format | Texte, Article |
|---|
| Conférence | Proceedings of the First Workshop on Formal Methods in Software Practice, January 11, 1996., San Diego, California, USA |
|---|
| Résumé | Ce document présente une étude de cas concernant la vérification formelle des logiciels concurrents/distribués. Cette étude porte sur la vérification et la spécification modulaires d'un protocole de tâches distantes. La méthode de vérification employée est fondée sur le contrôle de l'équivalence sémantique, et elle est applicable aux systèmes dotés d'une architecture hiérarchique. Afin de faciliter l'application de cette méthode, nous avons étendu l'outil de vérification Spin et l'avons doté de la capacité de vérifier une classe particulière de relations sémantiques; nous avons également doté le langage Promela sur lequel Spin est basé d'un mécanisme simple permettant de spécifier des opérations externes. Les bases de la vérification de l'équivalence sémantique sont également examinées brièvement. |
|---|
| Date de publication | 1996 |
|---|
| Langue | anglais |
|---|
| Numéro du CNRC | NRCC 39183 |
|---|
| Numéro NPARC | 5765210 |
|---|
| Exporter la notice | Exporter en format RIS |
|---|
| Signaler une correction | Signaler une correction (s'ouvre dans un nouvel onglet) |
|---|
| Identificateur de l’enregistrement | 2236c9d2-5c5a-4e38-a247-c782e780e4a0 |
|---|
| Enregistrement créé | 2009-03-29 |
|---|
| Enregistrement modifié | 2020-03-20 |
|---|
