Parallel Model Checking and the FMICS-jETI Platform

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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:	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