CoIn Tool Set

The purpose of the CoIn tool set is to assist developers along the modelling and verification process using CI automata.

• Development Team

  • Nikola Benes
  • Lubos Brim
  • Barbora Buhnova (Zimmerova)
  • Ivana Cerna
  • Milan Krivanek
  • Pavlina Moravcova (Varekova)
  • Jiri Sochor

• The Tools

  Currently, the tool set consists of two tools:

  • a graphical modelling tool, which enables the developer to create CI-automata models visually using a Java graphical user interface,
  • and a verification environment for formal verification of created models with the model-checking technique.