Travelled to:1 × Germany
1 × The Netherlands
Collaborated with:T.Santen W.J.Paul E.Petrova
Talks about:hypervisor (1) microsoft (1) implement (1) correctn (1) generat (1) verifi (1) toward (1) formal (1) compil (1) verif (1)
Person: Dirk Leinenbach
DBLP: Leinenbach:Dirk
Contributed to:
2009
2005Wrote 2 papers:
- FM-2009-LeinenbachS #verification
- Verifying the Microsoft Hyper-V Hypervisor with VCC (DL, TS), pp. 806–809.
- SEFM-2005-LeinenbachPP #code generation #compilation #implementation #towards #verification
- Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes (DL, WJP, EP), pp. 2–12.