Campus Event Calendar
Event Entry
What and Who
Verifying the Microsoft Hypervisor
Sabine Schmaltz
Fachrichtung Informatik - Saarbrücken
Ringvorlesung
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 29 January 2009
13:00
60 Minutes
E1 3 - Hörsaal Gebäude
0.16
Saarbrücken
Abstract
Formal verification of large software systems is a challenge both for
the involved verification engineers as well as for today's verification
methodologies and tools. I will give an overview over the methodologies
and tools that are used in the ongoing verification of Microsoft's
Hyper-V during the Verisoft XT research project. Further, I will present
some of the challenges and solutions we have encountered so far.
the involved verification engineers as well as for today's verification
methodologies and tools. I will give an overview over the methodologies
and tools that are used in the ongoing verification of Microsoft's
Hyper-V during the Verisoft XT research project. Further, I will present
some of the challenges and solutions we have encountered so far.
Contact
--email hidden
passcode not visible
logged in users only
Jennifer Gerling, 01/27/2009 11:43 -- Created document.