A Case Study in Parallel Verification of Component-Based Systems

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Případová studie paralelní verifikace komponentových systémů
Autoři

BENEŠ Nikola ČERNÁ Ivana SOCHOR Jiří VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

Rok publikování 2008
Druh Článek ve sborníku
Konference Pre-proceedings of the Workshop on Parallel and Distributed Methods in verifiCation (PDMC'08)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova Component-based systems; formal verification; parallel model checking
Popis Článek prezentuje výsledky aplikace paralelní verifikace na ověření korektnosti interakce mezi komponentami ve skutečném komponentovém systému definovaném v rámci CoCoME Modelling Contest. V prezentované případové studii se věnujeme jak ověření správnosti modelu, tak i kontrole správnosti systému prostřednictvím verifikace různých temporálních vlastností.
Související projekty:

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