Formal Verification of Logical Link Control and Adaptation Protocol (CROSBI ID 496573)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Pek, Edgar ; Bogunović, Nikola
engleski
Formal Verification of Logical Link Control and Adaptation Protocol
In this paper we have provided formal verification of a configuration process in the Bluetooth logical link control and adaptation protocol (L2CAP). Formal verification has been carried out in a synbolic model checking framework. Hence, NuSMV has been chosen as a tool which enables BDD-based model checking against CTL specifications. Formal description of the protocol is based on an interleaving semantics provided by NuSMV. We have checked important system properties, and described problems related to its specification and verification.
formal verification ; system design ; distributed systems ; communication protocols
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
583-586.
2004.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference, MELECON 2004
Matijašević, Maja ; Pejčinović, Branimir ; Tomšić, Željko ; Butković, Željko
Zagreb: Institute of Electrical and Electronics Engineers (IEEE)
Podaci o skupu
12th IEEE Mediterranean Electrotechnical Conference, MELECON 2004
predavanje
12.05.2004-15.05.2004
Hrvatska
