Formal verification of systems with an unlimited number of components

Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, 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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info