DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation
Abstract
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.
Domains
Software Engineering [cs.SE]Origin | Files produced by the author(s) |
---|
Loading...