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
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


Files produced by the author(s)


  • HAL Id : inria-00463422, version 1



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⟩



Record views


Files downloads