SSV 2011:
Nijmegen, The Netherlands
Jörg Brauer, Marco Roveri, Hendrik Tews (Eds.):
6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands.
OASICS 24 Schloss Dagstuhl - Leibniz-Zentrum fuer 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
Last update Sat May 25 19:09:03 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
