Published June 6, 2013 | Version v1
Conference paper Metadata-only

Behavioural Verification of Distributed Components

Creators

Contributors

Other:

Description

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.

Abstract

International audience

Additional details

Identifiers

URL
https://hal.inria.fr/hal-00850025
URN
urn:oai:HAL:hal-00850025v1

Origin repository

Origin repository
UNICA