DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation

Hugues Evrard
  • Function : Author
  • PersonId : 961729

Abstract

Formal methods can verify the correctness of a concurrent system by analyzing its model. However, if the actual implementation is written by hand, subtle and hard to detect bugs may be unintentionally introduced, thus ruining the verification effort. In this paper, we present DLC (Distributed LNT Compiler), a tool that automatically generates distributed implementation of concurrent systems modeled in the LNT language, which can be formally verified using the CADP toolbox.
Fichier principal
Vignette du fichier
Evrard_TACAS_2016.pdf (122.36 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01250925 , version 1 (29-03-2016)

Identifiers

Cite

Hugues Evrard. DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation. TACAS'2016, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-662-49674-9_34⟩. ⟨hal-01250925⟩
235 View
178 Download

Altmetric

Share

Gmail Facebook X LinkedIn More