CoIn-DiVinE

BENEŠ, Nikola, Ivana ČERNÁ a Milan KŘIVÁNEK. CoIn-DiVinE. 2010.

Základní údaje

• Originální název: CoIn-DiVinE
• Autoři: BENEŠ, Nikola (203 Česká republika, domácí), Ivana ČERNÁ (203 Česká republika, garant, domácí) a Milan KŘIVÁNEK (203 Česká republika, domácí).
• Vydání: 2010.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Software
• Obor: 10201 Computer sciences, information science, bioinformatics
• Stát vydavatele: Česká republika
• Utajení: není předmětem státního či obchodního tajemství
• WWW: URL
• Kód RIV: RIV/00216224:14330/10:00049374
• Organizační jednotka: Fakulta informatiky
• Klíčová slova anglicky: component interaction; formal verification; component-based systems
• Technické parametry: model checker pro komponentové systémy

Anotace

CoIn-DiVinE is a verification tool that deals with interaction in component-based systems. Such systems are to be specified in the formalism of component-interaction automata. The tool is an extension to the verification tool DiVinE 2.0, allow for new input language (CoIn) and a new temporal logic (CI-LTL).

Anotace česky

CoIn-DiVinE je nástroj pro verifikaci interakcí v komponentovém systému, který je popsán pomocí formalismu automatů komponentové interakce (component-interaction automata). Nástroj je rozšířením verifikačního nástroje DiVinE 2.0 o nový vstupní jazyk CoIn a novou temporální logiku CI-LTL.

Návaznosti

• GA201/09/1389, projekt VaV: Název: Verifikace a analýza velmi velkých počítačových systémů

Investor: Grantová agentura ČR, Verifikace a analýza velmi velkých počítačových systémů

• GD102/09/H042, projekt VaV: Název: Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů

Investor: Grantová agentura ČR, Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů