Behavioural Verification of Distributed Components - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Behavioural Verification of Distributed Components

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00850025 , version 1

Citer

Ludovic Henrio, Eric Madelaine. Behavioural Verification of Distributed Components. ICE 2013, Jun 2013, Florence, Italy. ⟨hal-00850025⟩
218 Consultations
119 Téléchargements

Partager

Gmail Facebook X LinkedIn More