PV4 DLC: Distributed LNT Compilercompiles a formal specification of a concurrent system to a program

A tool that automatically generates distributed implementation of concurrent systems modeled in the LNT language, which can be verified using the CADP toolbox.

Application domain/field

Type of tool

Synthesis tool?

Expected input

Parallel composition of LNT processes

Format:

LNT language

Expected output

Distributed implementation corresponding to the provided parallel composition of LNT processes.
Concurrency

Links

Project page: https://www.doc.ic.ac.uk/~hevrard/project/dlc/

Last commit date

Last version seems to be from 2017.

Related papers

Last publication date

9 April 2016

Related tools

BIP, Chor, Erlang, Dreams

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.