15. SPIN 2008: Los Angeles, CA, USA
Klaus Havelund, Rupak Majumdar, Jens Palsberg (Eds.): Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings. Springer 2008 Lecture Notes in Computer Science ISBN 978-3-540-85113-4
Invited Contributions
- Shaz Qadeer: The Case for Context-Bounded Verification of Concurrent Programs. 3-6
- Yannis Smaragdakis: Combining Static and Dynamic Reasoning for the Discovery of Program Properties. 7-8
- Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann: Using Dynamic Symbolic Execution to Improve Deductive Verification. 9-25
Regular Papers
- Todd R. Andel, Alec Yasinsac: Automated Evaluation of Secure Route Discovery in MANET Protocols. 26-41
- Tonglaga Bao, Michael D. Jones: Model Checking Abstract Components within Concrete Software Environments. 42-59
- Frank Ciesinski, Christel Baier, Marcus Größer, David Parker: Generating Compact MTBDD-Representations from ProbmelaSpecifications. 60-76
- Sami Evangelista: Dynamic Delayed Duplicate Detection for External Memory Model Checking. 77-94
- Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Tackling Large Verification Problems with the Swarm Tool. 134-143
- Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim: Formal Verification of a Flash Memory Device Driver - An Experience Report. 144-159
- Peter Lamborn, Eric A. Hansen: Layered Duplicate Detection in External-Memory Model Checking. 160-175
- Stefan Leue, Alin Stefanescu, Wei Wei: Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. 176-195
- Radu Mateescu, Emilie Oudot: Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. 196-213
- Nazha Abed, Stavros Tripakis, Jean-Marc Vincent: Resource-Aware Verification Using Randomized Exploration of Large State Spaces. 214-231
- Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon: Symbolic Context-Bounded Analysis of Multithreaded Java Programs. 270-287
- Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Efficient Stateful Dynamic Partial Order Reduction. 288-305
- Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra: Symbolic String Verification: An Automata-Based Approach. 306-324
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team