×

DLC

swMATH ID: 19394
Software Authors: Hugues Evrard
Description: DLC - Distributed LNT Compiler. DLC is a compiler that generates a distributed implementation from a formal specification of a concurrent system. The formal specification given in input is expressed in the LNT language, which is equipped with the CADP toolbox that enables formal verification such as model-checking. An LNT specification is made of a parallel composition of non-deterministic processes which interact by multiway rendezvous, a powerful interaction primitive inherited from process algebras. DLC produces a distributed implementation made of several executables that can be deployed on possibly distinct machines connected by a network. In order to handle multiway rendezvous between distant processes, the runtime is based on an optimized synchronization protocol that have been formally verified.
Homepage: http://hevrard.org/DLC/
Related Software: XTL; LNT2LOTOS; UNITY; Exp.Open; Reo; CADP; SPIN; LOTOS; M-TREE; BISIMULATOR; TIMES; SCADE; MCGP; D-Finder
Referenced in: 2 Publications

Referenced in 1 Field

2 Computer science (68-XX)

Referencing Publications by Year