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

volume 254, 2008

Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009 SSV 254 (2008)

volume 217, 2008

Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008 SSV 217 (2008)