EPTCS 102 - SSV 2012
Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich (Eds.): Proceedings Seventh Conference on Systems Software Verification. 2012 EPTCS 102 [ contents ]- Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu: Automatic Verification of Message-Based Device Drivers. ... 4-17
- Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer: Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck. ... 18-32
- Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif: A Formal Model of a Virtual Filesystem Switch. ... 33-45
- Daniel Matichuk: Automatic Function Annotations for Hoare Logic. ... 46-56
- Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess: Distributed Priority Synthesis. ... 57-72
- Hendrik Tews, Marcus Völp, Tjark Weber: On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code. ... 73-87
- Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski: Static Analysis of Lockless Microcontroller C Programs. ... 103-114
- Chris Hathhorn, Michela Becchi, William L. Harrison, Adam M. Procter: Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications. ... 115-124
- Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba: A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets. ... 125-140
- Kenneth Yrke Jørgensen, Kim G. Larsen, Jirí Srba: Time-Darts: A Data Structure for Verification of Closed Timed Automata. ... 141-155
- 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. ... 156-166
- David Cock: Verifying Probabilistic Correctness in Isabelle with pGCL. ... 167-178
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team