![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
7th SSV 2012: Sydney, Australia
- Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012. EPTCS 102, 2012 - 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 - Tatiana Mangels, Jan Peleska:
CTGEN - a Unit Test Generator for C. 88-102 - 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 A. Cock
:
Verifying Probabilistic Correctness in Isabelle with pGCL. 167-178
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.