default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th SSV 2009: Aachen, Germany
- Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009. Electronic Notes in Theoretical Computer Science 254, Elsevier 2008 - Ralf Huuck, Gerwin Klein, Bastian Schlich:
Preface. 1-3 - Matko Botincan, Matthew J. Parkinson, Wolfram Schulte:
Separation Logic Verification of C Programs with an SMT Solver. 5-23 - Andrew Boyton:
A Verified Shared Capability Model. 25-44 - Jörg Brauer, Bastian Schlich, Stefan Kowalewski:
Parallel and Distributed Invariant Checking of Microcontroller Software. 45-63 - Jörg Brauer, Ralf Huuck, Bastian Schlich:
Interprocedural Pointer Analysis in Goanna. 65-83 - Ernie Cohen, Michal Moskal
, Stephan Tobies, Wolfram Schulte:
A Precise Yet Efficient Memory Model For C. 85-103 - Yuusuke Hashimoto, Shin Nakajima:
Modular Checking with Model Checking. 105-122 - Mark A. Hillebrand, Dirk Leinenbach:
Formal Verification of a Reader-Writer Lock Implementation in C. 123-141 - Vitor Lima, Chamseddine Talhi, Djedjiga Mouheb, Mourad Debbabi, Lingyu Wang, Makan Pourzandi:
Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages. 143-160 - Norbert Schirmer, Makarius Wenzel:
State Spaces - The Locale Way. 161-179 - Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker:
An Abstract Specification Language for Static Program Analysis. 181-197
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-01 00:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
