SSV

Keyphrases

Publications

2012

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code SSV (2012)
Chris Hathhorn, Michela Becchi, William L. Harrison, Adam M. Procter
Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications SSV (2012)
Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess
Distributed Priority Synthesis SSV (2012)
Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski
Static Analysis of Lockless Microcontroller C Programs SSV (2012)
Daniel Matichuk
Automatic Function Annotations for Hoare Logic SSV (2012)
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif
A Formal Model of a Virtual Filesystem Switch SSV (2012)
Kenneth Yrke Jørgensen, Kim G. Larsen, Jirí Srba
Time-Darts: A Data Structure for Verification of Closed Timed Automata SSV (2012)
Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu
Automatic Verification of Message-Based Device Drivers SSV (2012)
Tatiana Mangels, Jan Peleska
CTGEN - a Unit Test Generator for C SSV (2012)
Hendrik Tews, Marcus Völp, Tjark Weber
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code SSV (2012)
Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets SSV (2012)
David Cock
Verifying Probabilistic Correctness in Isabelle with pGCL SSV (2012)
Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck SSV (2012)

volume 102, 2012

Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012. SSV 102 (2012)

volume 24, 2012

6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands SSV 24 (2012)

2011

2010