Skip to Main content Skip to Navigation
Conference papers

Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).

Abstract : Tool-assisted analysis of software systems and convenient guides to practise the formal methods are still motivating challenges. This article addresses these challenges. We ex periment on analysing a formal specification from multiple aspects. The B method and the Atelier-B tool are used for formal specifications, for safety property analysis and for refinements. The ProB tool is used to supplement the study with model checking; it helps to discover errors and there fore to improve the former specifications.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Christian Attiogbe Connect in order to contact the contributor
Submitted on : Friday, October 9, 2009 - 10:25:46 AM
Last modification on : Wednesday, April 27, 2022 - 3:43:44 AM
Long-term archiving on: : Wednesday, June 16, 2010 - 12:08:54 AM


Files produced by the author(s)


  • HAL Id : hal-00420050, version 1
  • ARXIV : 0910.1690


Christian Attiogbe. Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).. IASTED Conf. on Software Engineering (SE'2006), Feb 2006, Innsbruck, Austria. pp.85-90. ⟨hal-00420050⟩



Record views


Files downloads