The ADVANCE Project Homepage
Tools
Several tools are being developed and improved during the ADVANCE project:
TREX
at the
LIAFA
and at
VERIMAG
LASH
at
Liège
The
IF Toolset
at
VERIMAG
The
Model-Checking Kit
at Munich and
Edinburgh
The
version 0.1
of the graphic Interface is also available.