PV4 ⊧ DLC: Distributed LNT Compilercompiles a formal specification of a concurrent system to a programA tool that automatically generates distributed implementation of concurrent systems modeled in the LNT language, which can be verified using the CADP toolbox.
- Concurrent systems
- Distributed programs
Type of toolSynthesis tool?
Expected inputParallel composition of LNT processes