Model Checking of Control-User Component-Based Parametrised 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	Model checking parametrizovaných komponentových systémů s kontroler-user architekturou
Autoři	MORAVCOVÁ VAŘEKOVÁ Pavlína ČERNÁ Ivana
Rok publikování	2008
Druh	Článek ve sborníku
Konference	Lecture Notes in Computer Science 5282
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	parametrised systems; formal verification; Client-Server systems; component-based system analysis
Popis	V tomto článku se věnujeme kontroler-user parametrizovaným systémům, které vzniknou jako modely komponentových systémů. Navrhujeme dva algoritmy pro formální verifikaci toho, které stavy jsou v těchto systémech dosažitelné.
Související projekty:	Techniky automatické verifikace a validace softwarových a hardwarových systémů Realistická aplikace formálních metod v komponentových systémech Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy