Please go to the new PHAVer page at http://www-verimag.imag.fr/~frehse/phaver_web.