CoIn-DiVinE

Beneš,  Nikola; Černá,  Ivana; Křivánek,  Milan

CoIn-DiVinE

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

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ů