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 , 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.
Type de document :
Communication dans un congrès
ICE 2013, Jun 2013, Florence, Italy. 2013
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00850025
Contributeur : Ludovic Henrio <>
Soumis le : vendredi 2 août 2013 - 13:26:37
Dernière modification le : mercredi 14 décembre 2016 - 01:06:25
Document(s) archivé(s) le : mercredi 5 avril 2017 - 19:11:41

Fichier

ICE2013-Final-Henrio-Madelaine...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00850025, version 1

Collections

Citation

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

Partager

Métriques

Consultations de
la notice

725

Téléchargements du document

164