Cluster-Based LTL Model Checking of Large Systems

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	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