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

• Concurrency
• Concurrent systems
• Distributed programs

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.