engleski

Compositional Approach to Verification of Distributed Sstems Protocols

Distributed systems protocols exhibit complex behavior due to concurrent and asynchronous computation in a decentralized environment. Verification of such protocols is known as notoriously difficult. Model checking is one of the techniques that have been successfully applied in verification of real life protocols. However, model checking suffers from a state explosion problem when dealing with fairly complex systems. In this paper we present technique that exploit modular structure of protocols called compositional reasoning. This technique is demonstrated on the verification of the Bluetooth L2CAP (Logical Link Control and Adaptation Protocol) specification.

distributed systems ; communication protocols ; formal methods ; formal verification

nije evidentirano