CoIn-DiVinE

BENEŠ, Nikola, Ivana ČERNÁ and Milan KŘIVÁNEK. CoIn-DiVinE. Online. 2010, [citováno 2024-04-23]

Basic information

• Original name: CoIn-DiVinE
• Authors: BENEŠ, Nikola (203 Czech Republic, belonging to the institution), Ivana ČERNÁ (203 Czech Republic, guarantor, belonging to the institution) and Milan KŘIVÁNEK (203 Czech Republic, belonging to the institution)
• Edition: 2010.

Other information

• Original language: English
• Type of outcome: Software
• Field of Study: 10201 Computer sciences, information science, bioinformatics
• Country of publisher: Czech Republic
• Confidentiality degree: is not subject to a state or trade secret
• WWW: URL
• RIV identification code: RIV/00216224:14330/10:00049374
• Organization unit: Faculty of Informatics
• Keywords in English: component interaction; formal verification; component-based systems
• Technical parameters: model checker pro komponentové systémy

Abstract

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).

Abstract (in Czech)

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.

Links

• GA201/09/1389, research and development project: Name: Verifikace a analýza velmi velkých počítačových systémů

Investor: Czech Science Foundation, Verification and Analysis of Large-Scale Computer Systems

• GD102/09/H042, research and development project: Name: 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: Czech Science Foundation