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