| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Behavioural Verification of Distributed Components
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.
Cited literature [14 references]
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
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)