Parallel Model Checking and the FMICS-jETI Platform

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 Paralelní ověřování modelů a platforma FMICS-jETI
Autoři

BARNAT Jiri BRIM Lubos LEUCKER Martin

Rok publikování 2007
Druh Článek ve sborníku
Konference Proceedings Twelfth IEEE International Conference on Engineering of Complex Computer Systems
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova Parallel Model Checking; FMICS-jETI platform
Popis V tomto článku jsou shrnuty algoritmy pro enumerativní ověřování modelu vlastností fomrulovaných v lineární temporální logice (LTL) a fragmentu mu-kalkulu, který přirozeně obsahuje také výpočtovou logiku větvícího se času (CTL). Také indikujeme použití aplikace jako služby pro integrované modelování, analýzu a verifikaci v rámci FMICS-jETI platformy.
Související projekty:

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