default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSSV 2011: Nijmegen, The Netherlands
- Jörg Brauer, Marco Roveri, Hendrik Tews:
6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands. OASIcs 24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-36-1 - Frontmatter, Table of Contents, Preface.
- Holger Gast:
Structuring Interactive Correctness Proofs by Formalizing Coding Idioms. 1-14 - Stefan Berghofer:
Verification of Dependable Software using SPARK and Isabelle. 15-31 - Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen:
Adaptable Value-Set Analysis for Low-Level Code. 32-43 - Antti Jääskeläinen, Mika Katara, Shmuel Katz, Heikki Virtanen:
Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools. 44-56 - Jan Olaf Blech:
A Tool for the Certification of Sequential Function Chart based System Specifications. 57-70 - Dominique Gückel, Stefan Kowalewski:
Automatic Derivation of Abstract Semantics From Instruction Set Descriptions. 71-83
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:20 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:
