Pregled bibliografske jedinice broj: 466652
O nekim problemima verifikacije vezanim uz vremenske automate
O nekim problemima verifikacije vezanim uz vremenske automate // Seminar za teorijsko računarstvo
Zagreb, Hrvatska, 2010. (pozvano predavanje, nije recenziran, neobjavljeni rad, znanstveni)
CROSBI ID: 466652 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
O nekim problemima verifikacije vezanim uz vremenske automate
(On some Verification Problems related to Timed Automata)
Autori
Krešić, Dario
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, neobjavljeni rad, znanstveni
Skup
Seminar za teorijsko računarstvo
Mjesto i datum
Zagreb, Hrvatska, 15.02.2010
Vrsta sudjelovanja
Pozvano predavanje
Vrsta recenzije
Nije recenziran
Ključne riječi
vremenski automati; automatska verifikacija; problem inkluzije; eksplozija prostora stanja
(timed automata; model checking; inclusion problem; state space explosion)
Sažetak
Vremenski automati (engl. timed automata) proširuju ω-automate za skup tzv. satnih varijabli koje mjere vrijeme među događajima. Nakon predstavljanja sintakse i semantike Büchijevih i Mullerovih vremenskih automata bit će diskutiran problem inkluzije dvaju (vremenskih) jezika važan za verifikaciju modela zasnovanih na ovim automatima. S tim u vezi bit će predstavljen i problem diskretizacije i tzv. eksplozije prostora stanja te diskutirane poteškoće automatske verifikacije.
Izvorni jezik
Hrvatski
Znanstvena područja
Računarstvo, Informacijske i komunikacijske znanosti
POVEZANOST RADA
Projekti:
016-0161217-0870 - Modeliranje proceduralnih propisa (Strahonja, Vjeran, MZOS ) ( CroRIS)
Ustanove:
Fakultet organizacije i informatike, Varaždin
Profili:
Dario Krešić
(autor)
