Cluster-Based LTL Model Checking of Large Systems

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	LTL ověřování modelu rozsáhlých systémů s využitím počítačových klastrů
Autoři	BARNAT Jiří BRIM Luboš ČERNÁ Ivana
Rok publikování	2006
Druh	Článek ve sborníku
Konference	Formal Methods for Components and Objects
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	distributed LTL model checking
Popis	Přehledová práce shrnující výzkum v oblasti paralelního a distribuovaného ověřování modelu formulemi lineární temporální logiky. Jednotlivé algoritmy jsou teoreticky ale i experimentálně porovnány.
Související projekty:	Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů 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