I will organize INFINITY 2009, a workshop affiliated to CONCUR 2009.
The Centre Fédéré en Vérification (2003 - ...).
The ARTIST2 Project (2004 - 2007).
The COMBEST Project (2009 - ...).
T(O)RMC: this is a tool that implements an extension of the techniques developped in my CAV03 and TACAS04 papers. The tool is also described in my thesis. Here is a web page for T(0)RMC.
TICC: Ticc is a NEW tool for interfaces compatibility checking. This tool is developped in collaboration with the team of Professor Luca de Alfaro. Here is a WIKI for Ticc.
LASH: The Liège Automata-based Symbolic Handler (LASH) is a toolset for representing infinite sets and exploring infinite state spaces. Its beta version can be downloaded from the LASH page. I did not implement LASH, but I can answer many questions about it.
The Regular Model Checking Toolset: this is a tool that implements a lot of Regular Model Checking techniques from the team of Parosh Abdulla in Uppsala. It can be downloaded from the Regular Model Checking page. I have participated to the "tree-version" of the tool.