CoIn-DiVinE

Investor logo
Investor logo

Warning

This publication doesn't include Faculty of Sports Studies. 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:

You are running an old browser version. We recommend updating your browser to its latest version.

More info