Model Checking Large Finite-State Systems and Beyond

Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, 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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info