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.
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
