SSV 2011 August 26, 2011, Nijmegen, The Netherlands

6th International Workshop on Systems Software Verification



Jörg Brauer and Marco Roveri and Hendrik Tews (Eds.)
ISBN 978-3-939897-36-1, OASICS Vol. 24 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 3 MB)
Search Publication Server


Authors
  • Berghofer, Stefan
  • Blech, Jan Olaf
  • Brauer, Jörg
  • Gückel, Dominique
  • Gast, Holger
  • Hansen, René Rydhof
  • Jääskeläinen, Antti
  • Katara, Mika
  • Katz, Shmuel
  • Kowalewski, Stefan
  • Larsen, Kim G.
  • Olesen, Mads Chr.
  • Roveri, Marco
  • Tews , Hendrik
  • Virtanen, Heikki

  •   
    Frontmatter, Table of Contents, Preface
    Authors: Brauer, Jörg ; Roveri, Marco ; Tews , Hendrik

    Abstract | Document (247 KB) | BibTeX

    Structuring Interactive Correctness Proofs by Formalizing Coding Idioms
    Authors: Gast, Holger

    Abstract | Document (520 KB) | BibTeX

    Verification of Dependable Software using SPARK and Isabelle
    Authors: Berghofer, Stefan

    Abstract | Document (430 KB) | BibTeX

    Adaptable Value-Set Analysis for Low-Level Code
    Authors: Brauer, Jörg ; Hansen, René Rydhof ; Kowalewski, Stefan ; Larsen, Kim G. ; Olesen, Mads Chr.

    Abstract | Document (421 KB) | BibTeX

    Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools
    Authors: Jääskeläinen, Antti ; Katara, Mika ; Katz, Shmuel ; Virtanen, Heikki

    Abstract | Document (363 KB) | BibTeX

    A Tool for the Certification of Sequential Function Chart based System Specifications
    Authors: Blech, Jan Olaf

    Abstract | Document (352 KB) | BibTeX

    Automatic Derivation of Abstract Semantics From Instruction Set Descriptions
    Authors: Gückel, Dominique ; Kowalewski, Stefan

    Abstract | Document (378 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI