Behavioural Verification of Distributed Components - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Behavioural Verification of Distributed Components


This paper presents a brief overview of our efforts in the behavioural specification and verification of distributed component systems. Our objective in this work is to provide tools to help the programmer specify the behaviour of his/her components, generate a model, and check the correctness of his/her application.
Fichier principal
Vignette du fichier
ICE2013-Final-Henrio-Madelaine.pdf (297.42 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00850025 , version 1 (02-08-2013)


  • HAL Id : hal-00850025 , version 1


Ludovic Henrio, Eric Madelaine. Behavioural Verification of Distributed Components. ICE 2013, Jun 2013, Florence, Italy. ⟨hal-00850025⟩
218 View
120 Download


Gmail Facebook X LinkedIn More