Agenten und Simulierte Realität

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. Eyad Alkassar; Mark Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin; Alexandra Tsyban

   Balancing the Load: Leveraging a Semantics Stack for Systems Verification

   In: Journal of Automated Reasoning (JAR), Vol. 42, No. 2-4, Pages 389-454, Springer, 2/2009.

3. 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 …

4. 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 …

5. Dirk Leinenbach; Elena Petrova

   Pervasive Compiler Verification - From Verified Programs to Verified Systems

   In: Ralf Huuck; Gerwin Klein; Bastian Schlich (Hrsg.). Proceedings of the 3rd International Workshop on Systems Software Verification. International …

6. Eyad Alkassar; Mark Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin

   The Verisoft Approach to Systems Verification

   In: Natarajan Shankar; Jim Woodcock (Hrsg.). Verified Software: Theories, Tools, Experiments. International Conference on Verified Software: Theories, …

7. Dirk Leinenbach

   Compiler Verification in the Context of Pervasive System Verification

   PhD-Thesis, Saarland University, Computer Science Department, 2008.

• 1