The CoIn Tool: Modelling and Verification of Interactions in 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 CoIn Tool: Modelování a verifikace interakcí v komponentových systémech
Autoři

BENEŠ Nikola BRIM Luboš Č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 International Workshop on Formal Aspects of Component Software (FACS'08)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova component-based systems; Component-Interaction automata; formal verification; LTL; model checking
Popis Článek prezentuje modelovací a verifikační nástroj navržený pro formální ověřování správnosti interakcí mezi komponentami v hierarchických komponentových systémech. Na rozdíl od existujících verifikačních nástrojů je prezentovaný CoIn Tool schopný analyzovat složité hierarchické modely on-the-fly a verifikovat lineární temporální vlastnosti vyjadřující se jak o stavech tak i akcích studovaných modelů.
Související projekty:

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