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


LNT language

Expected output

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


Related papers

Last publication date

9 April 2016

Related tools

BIP, Chor, Erlang, Dreams

ProVerB specific

ProVerB is a part of SLEBoK. Last updated: February 2023.