A tool for checking CSP||B specifications

Huu Nghia Nguyen 1 Jean-Pierre Jacquot 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper reports about our experience with building a simple tool to assist us in the verification of CSP||B specifications. We present the Control Loop Invariant technique to check the consistency of a CSP||B specification. From this, we deduce the requirements of an assistant tool. The tool was developed in Ocaml. We discuss several issues observed during the development.
Type de document :
Communication dans un congrès
Workshop on Tool Building in Formal Methods - Held in conjunction with the 2nd International ABZ Conference, Feb 2010, Orford (Québec), Canada. 2010
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00463422
Contributeur : Jean-Pierre Jacquot <>
Soumis le : vendredi 12 mars 2010 - 10:34:28
Dernière modification le : mardi 24 avril 2018 - 13:35:19
Document(s) archivé(s) le : vendredi 19 octobre 2012 - 09:40:34

Fichier

abztools.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00463422, version 1

Collections

Citation

Huu Nghia Nguyen, Jean-Pierre Jacquot. A tool for checking CSP||B specifications. Workshop on Tool Building in Formal Methods - Held in conjunction with the 2nd International ABZ Conference, Feb 2010, Orford (Québec), Canada. 2010. 〈inria-00463422〉

Partager

Métriques

Consultations de la notice

467

Téléchargements de fichiers

198