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.
CITATION STYLE
Evrard, H. (2016). DLC: Compiling a concurrent system formal specification to a distributed implementation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9636, pp. 553–559). Springer Verlag. https://doi.org/10.1007/978-3-662-49674-9_34
Mendeley helps you to discover research relevant for your work.