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