Download

Binaries package :

• Vache-i386-linux.tar.gz : VaChe for PCs under GNU/Linux version 32 bit
• Vache-x86_64-linux.tar.gz : VaChe for PCs under GNU/Linux version 64 bit
• Vache-windows.tar.gz : (coming soon : when version 3.0 of Gtkmm will be available for Windows)

All packages include TINA and Xdot.

Requirements

The prerequisites to access of all functionalities are :

• GTKmm 3.0 : for the edition and the analysis VASS.
• Mona : for model-checking.
• graphviz and python-gtk2 : for the description of counter-examples.

All requirements are available via most GNU/Linux distribution's package management systems.
Example for Debian/Ubuntu user :