| Téléchargement | - Voir le manuscrit accepté : Verifying Semantic Relations in SPIN (PDF, 328 Kio)
|
|---|
| Auteur | Rechercher : Erdogmus, Hakan |
|---|
| Format | Texte, Article |
|---|
| Conférence | First SPIN Workshop, October 16, 1995, Verdun, Quebec, Canada |
|---|
| Résumé | Spin est un outil général de vérification destiné à démontrer les propriétés d'exactitude des systèmes concurrents/distribués spécifiés dans le langage de modélisation Promela, de type CSP. Nous avons étendu la syntaxe de Promela de façon à établir une distinction entre les transitions externes et internes dans un modèle déterminé, et avons doté l'outil Spin de la capacité de vérifier une classe particulière de relations sémantiques entre deux modèles Promela. Ce document décrit cette extension et présente un aperçu des bases théoriques pertinentes. |
|---|
| Date de publication | 1995 |
|---|
| Dans | |
|---|
| Langue | anglais |
|---|
| Numéro du CNRC | NRCC 39182 |
|---|
| Numéro NPARC | 5765355 |
|---|
| Exporter la notice | Exporter en format RIS |
|---|
| Signaler une correction | Signaler une correction (s'ouvre dans un nouvel onglet) |
|---|
| Identificateur de l’enregistrement | cc0c86b1-43f4-4114-ad96-0cc8db85493e |
|---|
| Enregistrement créé | 2009-03-29 |
|---|
| Enregistrement modifié | 2020-04-29 |
|---|
