System verification Espen Volden Hans Koren Carlos Marti Tortes Giannis Economou Du er her: Hjem Publikasjoner Rapport System verification