Compositional Verification in Action - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

Compositional Verification in Action

Hubert Garavel
Frédéric Lang
Laurent Mounier
  • Function : Author
  • PersonId : 858856


Concurrent systems are intrinsically complex and their verification is hampered by the well-known "state-space explosion" issue. Compositional verification is a powerful approach, based on the divide-and-conquer paradigm, to address this issue. Despite impressive results, this approach is not used widely enough in practice, probably because it exists under multiple variants that make knowledge of the field hard to attain. In this article, we highlight the seminal results of Graf & Steffen and propose a survey of compositional verification techniques that exploit (or not) these results.
Fichier principal
Vignette du fichier
Garavel-Lang-Mounier-18.pdf (411.8 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01890246 , version 1 (08-10-2018)



Hubert Garavel, Frédéric Lang, Laurent Mounier. Compositional Verification in Action. FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Maynooth, Ireland. pp.189-210, ⟨10.1007/978-3-030-00244-2_13⟩. ⟨hal-01890246⟩
125 View
402 Download



Gmail Mastodon Facebook X LinkedIn More