Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 254508

Compositional model checking of monadic least fixed point logic


Botinčan, Matko
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-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:

Avatar Url Matko Botinčan (autor)


Citiraj ovu publikaciju:

Botinčan, Matko
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)
Botinčan, M. (2006) Compositional model checking of monadic least fixed point logic. U: F. Cassez, T. Jéron, F. Laroussinie, J.-F. Raskin, M. D. Ryan, G. Sutre (ur.)Proceedings of the 7th School on MOdelling and VErifying parallel Processes (MOVEP'06).
@article{article, author = {Botin\v{c}an, Matko}, year = {2006}, pages = {258-262}, keywords = {model checking, monadic least fixed point logic, compositional verification}, title = {Compositional model checking of monadic least fixed point logic}, keyword = {model checking, monadic least fixed point logic, compositional verification}, publisher = {LaBRI}, publisherplace = {Bordeaux, Francuska} }
@article{article, author = {Botin\v{c}an, Matko}, year = {2006}, pages = {258-262}, keywords = {model checking, monadic least fixed point logic, compositional verification}, title = {Compositional model checking of monadic least fixed point logic}, keyword = {model checking, monadic least fixed point logic, compositional verification}, publisher = {LaBRI}, publisherplace = {Bordeaux, Francuska} }




Contrast
Increase Font
Decrease Font
Dyslexic Font