Autor:	Krešić, Dario
Jazyk:	chorvatština
Rok vydání:	2010
Předmět:	vremenski automati automatska verifikacija problem inkluzije eksplozija prostora stanja
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::7990a5b3b35380141848690fe348fc2a https://www.bib.irb.hr/466652 Zobrazit plný text záznamu