Publikationen

Seite 1 von 1.

1. Ernie Cohen; Markus Dahlweid; Mark Hillebrand; Dirk Leinenbach; Michael Moskal; Thomas Santen; Wolfram Schulte; Stephan Tobies

   VCC: A Practical System for Verifying Concurrent C

   In: Stefan Berghofer; Tobias Nipkow; Christian Urban; Makarius Wenzel (Hrsg.). Theorem Proving in Higher Order Logics, 22nd International Conference. …

2. Mark Hillebrand; Dirk Leinenbach

   Formal Verification of a Reader-Writer Lock Implementation in C

   In: Proceedings of the 4th International Workshop on Systems Software Verification. International Workshop on Systems Software Verification …

3. Dirk Leinenbach; Thomas Santen

   Verifying the Microsoft Hyper-V Hypervisor with VCC

   In: 16th International Symposium on Formal Methods. International Symposium on Formal Methods (FM-2009), November 2-6, Eindhoven, Netherlands, Pages …

• 1