Področje: Information technology and data processing
Nemško: offenes Labor für die Verifikation Grško: περιβάλλον ανοιχτής επαλήθευσης Angleško: open verification environment Špansko: entorno abierto de verificación Finsko: avoimen varmennuksen ympäristö Francosko: environnement de vérification ouvert Italijansko: ambiente aperto di verifica Nizozemsko: open verificatieomgeving Portugalsko: ambiente de verificação aberto Švedsko: öppen provningsmiljö