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. International Conference on Theorem Proving in Higher Order Logics (TPHOLs-09), August 17-20, Munich, Germany, Pages 23-42, Lecture Notes in Computer Science (LNCS), Vol. 5674, ISBN 978-3-642-03358-2, Springer, 8/2009.

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 (SSV-2009), June 22-24, Aachen, Germany, Pages 123-141, Electronic Notes in Theoretical Computer Science, Vol. 254, Elsevier Science B.V. 2009.

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 806-809, Lecture Notes in Computer Science, Vol. 5850, Springer, 2009.

• 1