A tool for checking CSP||B specifications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

A tool for checking CSP||B specifications

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.
Fichier principal
Vignette du fichier
abztools.pdf (43.51 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00463422 , version 1 (12-03-2010)

Identifiers

  • HAL Id : inria-00463422 , version 1

Cite

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⟩
152 View
133 Download

Share

Gmail Facebook Twitter LinkedIn More