Informace o publikaci

Formal verification of systems with an unlimited number of components

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