Model Checking Large Finite-State Systems and Beyond

Varování

Publikace nespadá pod Lékařskou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Ověřování modelu pro rozsáhlé konečně stavové systémy a za jejich hranicemi
Autoři	BRIM Luboš KŘETÍNSKÝ Mojmír
Rok publikování	2007
Druh	Článek ve sborníku
Konference	33rd Conference on Current Trends in Theory and Practice of Computer Science
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	finite and infinite-state systems; reachability; linear time logic; model checking; decidability
Popis	Je ustanovena hranice rozhodnutelnosti pro problém ověřování modelu pro fragmenty logik HM resp. LTL a nekonečně stavové systémy generované tzv. procesovými přepisovacími systémy (eventuelně rozšířenými o tzv.slabou 59dic9 jednotku.
Související projekty:	Techniky automatické verifikace a validace softwarových a hardwarových systémů Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy Automatizovaná verifikace softwaru