CoIn-DiVinE

• Authors: BENEŠ Nikola; ČERNÁ Ivana; KŘIVÁNEK Milan
• Year of publication: 2010
• MU Faculty or unit: Faculty of Informatics
• Web: http://anna.fi.muni.cz/AS/coin-divine-1.0.tar.gz
• Description: 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).

Related projects

• Verification and Analysis of Large-Scale Computer Systems
• 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ů