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. Lecture Notes in Computer Science 5156 Springer 2008, ISBN 978-3-540-85113-4

Invited Contributions

Matthew B. Dwyer, Rahul Purandare:
Residual Checking of Safety Properties. 1-2
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 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
Harald Fecher, Sharon Shoham:
State Focusing: Lazy Abstraction for the Mu-Calculus. 95-113
Malay K. Ganai, Aarti Gupta:
Efficient Modeling of Concurrent Systems in BMC. 114-133
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
Viet Yen Nguyen, Theo C. Ruys:
Incremental Hashing for Spin. 232-249
Gaurav Singh, Sandeep K. Shukla:
Verifying Compiler Based Refinement of BluespecTM. 250-269
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
Anna Zaks, Rajeev Joshi:
Verifying Multi-threaded C Programs with SPIN. 325-342

Last update Tue Feb 14 04:11:35 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page