Pregled bibliografske jedinice broj: 254508
Compositional model checking of monadic least fixed point logic
Compositional model checking of monadic least fixed point logic // Proceedings of the 7th School on MOdelling and VErifying parallel Processes (MOVEP'06) / F. Cassez, T. Jéron, F. Laroussinie, J.-F. Raskin, M. D. Ryan, G. Sutre (ur.).
Bordeaux: LaBRI, 2006. str. 258-262 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 254508 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Compositional model checking of monadic least fixed point logic
Autori
Botinčan, Matko
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of the 7th School on MOdelling and VErifying parallel Processes (MOVEP'06)
/ F. Cassez, T. Jéron, F. Laroussinie, J.-F. Raskin, M. D. Ryan, G. Sutre - Bordeaux : LaBRI, 2006, 258-262
Skup
7th School on MOdelling and VErifying parallel Processes (MOVEP'06)
Mjesto i datum
Bordeaux, Francuska, 19.06.2006. - 23.06.2006
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
model checking; monadic least fixed point logic; compositional verification
Sažetak
Compositional model checking refers to reducing the problem of model checking some property of the whole system to the problem of model checking its components. In this paper, we investigate compositional approach for model checking monadic least fixed point logic on transition systems assembled from the components by using the $H$-sum and the fusion operator.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
POVEZANOST RADA
Projekti:
0037104
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
Profili:
Matko Botinčan
(autor)
