Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB). - LINA-AELOS Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

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

Résumé

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.
Fichier principal
Vignette du fichier
facets_pre_Se06.pdf (158.27 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00420050 , version 1 (09-10-2009)

Identifiants

Citer

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⟩
58 Consultations
26 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More