- VERIMAG
- VERIfication pour les systèmes DIStribués
- VORTEX CoLab
- VU University Medical Center [Amsterdam]
- Vanderbilt University [Nashville]
- Verification models and techniques applied to testing and control of reactive systems
- Verified Systems International GmbH [Bremen]
- Vienna University of Technology
 |