OASIcs, Volume 24, SSV 2011

• Jörg Brauer, Marco Roveri, and Hendrik Tews OASIcs, Volume 24, SSV'11, Complete Volume 10.4230/OASIcs.SSV.2011
• Jörg Brauer, Marco Roveri, and Hendrik Tews Frontmatter, Table of Contents, Preface 10.4230/OASIcs.SSV.2011.i
• Holger Gast Structuring Interactive Correctness Proofs by Formalizing Coding Idioms 10.4230/OASIcs.SSV.2011.1
• Stefan Berghofer Verification of Dependable Software using SPARK and Isabelle 10.4230/OASIcs.SSV.2011.15
• Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, and Mads Chr. Olesen Adaptable Value-Set Analysis for Low-Level Code 10.4230/OASIcs.SSV.2011.32
• Antti Jääskeläinen, Mika Katara, Shmuel Katz, and Heikki Virtanen Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools 10.4230/OASIcs.SSV.2011.44
• Jan Olaf Blech A Tool for the Certification of Sequential Function Chart based System Specifications 10.4230/OASIcs.SSV.2011.57
• Dominique Gückel and Stefan Kowalewski Automatic Derivation of Abstract Semantics From Instruction Set Descriptions 10.4230/OASIcs.SSV.2011.71