Skip to Main content Skip to Navigation
Conference papers

Behavioural Verification of Distributed Components

Ludovic Henrio 1 Eric Madelaine 1
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : 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.
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-00850025
Contributor : Ludovic Henrio <>
Submitted on : Friday, August 2, 2013 - 1:26:37 PM
Last modification on : Friday, January 8, 2021 - 11:14:19 AM
Long-term archiving on: : Wednesday, April 5, 2017 - 7:11:41 PM

File

ICE2013-Final-Henrio-Madelaine...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00850025, version 1

Collections

Citation

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

Share

Metrics

Record views

823

Files downloads

243