· MDG Group, Concordia University, Canada

· HVG at Cambridge University , U.K.

· HVG at University of Karlshrue, Germany

· VIS Group at UC Berkeley, USA

· Formal Verification Research Group, University of Utah, USA

· Model Checking Group at CMU, USA

· HVG at Stanford University, USA

· FVG at Eindhoven University of Technology, Netherlands

· Formal Methods Library

· Oxford Hardware Compilation Research Group, U.K.

· MAP-FM Research Group, Middlesex Univerity, U.K. 

· Semiconductor Research Corporation, North Carolina, USA

· FERMAT Lab, Virginia Tech, USA.

· Formalisms for Interaction Group (FIG), Middlesex University, UK