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. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012 OASICS 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team