Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download

https://hal.inria.fr/inria-00463422
Contributor : Jean-Pierre Jacquot Connect in order to contact the contributor
Submitted on : Friday, March 12, 2010 - 10:34:28 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Friday, October 19, 2012 - 9:40:34 AM

File

abztools.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨inria-00463422⟩

Share

Metrics

Record views

150

Files downloads

128