Model Checking Large Finite-State Systems and Beyond

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní 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:

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