Formal verification of systems with an unlimited number of components

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	Automatická verifikace systémů s neomezeným počtem komponent
Autoři	VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora MORAVEC Pavel ČERNÁ Ivana
Rok publikování	2008
Druh	Článek v odborném periodiku
Časopis / Zdroj	IET Software journal
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://scitation.aip.org/dbt/dbt.jsp?KEY=ISEOB7&Volume=2&Issue=6
Obor	Informatika
Klíčová slova	Component-based systems; dynamic number of components; infinite-state systems; formal verification
Popis	Tento článek se zabývá "control-user" parametrizovanými systémy. Popisuje rozšířenou verzi plně automatického algoritmu pro jejich verifikaci.
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ů Realistická aplikace formálních metod v komponentových systémech