Pregled bibliografske jedinice broj: 39817
Formal Specification and Verification of the Multiparty Call in ATM Signalling Protocol
Formal Specification and Verification of the Multiparty Call in ATM Signalling Protocol // ConTel 99 / Kos, Mladen (ur.).
Zagreb: Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 1999. str. 307-315 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 39817 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Formal Specification and Verification of the Multiparty Call in ATM Signalling Protocol
(Ormal Specification and Verification of the Multiparty Call in ATM Signalling Protocol)
Autori
Ježić, Gordan
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
ConTel 99
/ Kos, Mladen - Zagreb : Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 1999, 307-315
Skup
International Conference on Telecommunications
Mjesto i datum
Zagreb, Hrvatska, 15.06.1999. - 18.06.1999
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Sažetak
This paper presents formal specification and verification of the multiparty call in ATM UNI signalling protocol. The protocol specification is written in the CCS process algebra (Calculus of Communicating Systems). Verification is done by using the NCSU-Concurrency Workbench. Due to the complexity of the protocol, the model is decomposed into three components. The protocol is verified by the model-checking feature of the Workbench. Each of its components is checked for safety and liveness properties using temporal CTL (Computation Tree Logic) and modal mu-calculus logic.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika
POVEZANOST RADA
Projekti:
036030
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
Profili:
Gordan Ježić
(autor)
