Skip to main content Skip to main navigation


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 …