Formal verification of systems with an unlimited number of components

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