Naslov
Compositional Approach to Verification of Distributed Sstems Protocols

Autori
Pek, Edgar ; Bogunović, Nikola

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
MIPRO 2004, Proceedings of the Joint Conferences Computers in technical systems and Intelligent systems / Budin, Leo ; Ribarić, Slobodan - Rijeka : Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 2004, 23-28

Skup
MIPRO 2004, XXVII International Convention

Mjesto i datum
Opatija, Hrvatska, 24.05.2004. - 28.05.2004

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
distributed systems ; communication protocols ; formal methods ; formal verification

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA