O nekim problemima verifikacije vezanim uz vremenske automate (CROSBI ID 562602)
Neobjavljeno sudjelovanje sa skupa | neobjavljeni prilog sa skupa
Podaci o odgovornosti
Krešić, Dario
hrvatski
O nekim problemima verifikacije vezanim uz vremenske automate
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.
vremenski automati; automatska verifikacija; problem inkluzije; eksplozija prostora stanja
nije evidentirano
engleski
On some Verification Problems related to Timed Automata
nije evidentirano
timed automata; model checking; inclusion problem; state space explosion
nije evidentirano
Podaci o prilogu
nije evidentirano
nije evidentirano
Podaci o skupu
Seminar za teorijsko računarstvo
pozvano predavanje
15.02.2010-15.02.2010
Zagreb, Hrvatska
