Distributed Analysis 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	Distribuovaná analýza rozsáhlých systémů
Autoři	BARNAT Jiří BRIM Luboš ČERNÁ Ivana
Rok publikování	2005
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	Tutorial poskytující přehled technik a přístupů používaných v explicitním ověřování lineárních temporálních vlstností.
Související projekty:	Verifikace nekonečně stavových systémů Techniky automatické verifikace a validace softwarových a hardwarových systémů Vysoce paralelní a distribuované výpočetní systémy