DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation [chapter]

Hugues Evrard
2016 Lecture Notes in Computer Science  
Formal methods can verify the correctness of a concurrent system by analyzing its model. However, if the actual implementation is written by hand, subtle and hard to detect bugs may be unintentionally introduced, thus ruining the verification effort. In this paper, we present DLC (Distributed LNT Compiler ), a tool that automatically generates distributed implementation of concurrent systems modeled in the LNT language, which can be formally verified using the CADP toolbox.
doi:10.1007/978-3-662-49674-9_34 fatcat:hqj4b4guz5fmrp6xxhwqf2pta4