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 BibTeX

Invited Contributions

Matthew B. Dwyer, Rahul Purandare:
Residual Checking of Safety Properties. 1-2
Electronic Edition (link) BibTeX
Shaz Qadeer:
The Case for Context-Bounded Verification of Concurrent Programs. 3-6
Electronic Edition (link) BibTeX
Yannis Smaragdakis:
Combining Static and Dynamic Reasoning for the Discovery of Program Properties. 7-8
Electronic Edition (link) BibTeX
Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann:
Using Dynamic Symbolic Execution to Improve Deductive Verification. 9-25
Electronic Edition (link) BibTeX

Regular Papers

Todd R. Andel, Alec Yasinsac:
Automated Evaluation of Secure Route Discovery in MANET Protocols. 26-41
Electronic Edition (link) BibTeX
Tonglaga Bao, Michael Jones:
Model Checking Abstract Components within Concrete Software Environments. 42-59
Electronic Edition (link) BibTeX
Frank Ciesinski, Christel Baier, Marcus Größer, David Parker:
Generating Compact MTBDD-Representations from ProbmelaSpecifications. 60-76
Electronic Edition (link) BibTeX
Sami Evangelista:
Dynamic Delayed Duplicate Detection for External Memory Model Checking. 77-94
Electronic Edition (link) BibTeX
Harald Fecher, Sharon Shoham:
State Focusing: Lazy Abstraction for the Mu-Calculus. 95-113
Electronic Edition (link) BibTeX
Malay K. Ganai, Aarti Gupta:
Efficient Modeling of Concurrent Systems in BMC. 114-133
Electronic Edition (link) BibTeX
Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Tackling Large Verification Problems with the Swarm Tool. 134-143
Electronic Edition (link) BibTeX
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim:
Formal Verification of a Flash Memory Device Driver - An Experience Report. 144-159
Electronic Edition (link) BibTeX
Peter Lamborn, Eric A. Hansen:
Layered Duplicate Detection in External-Memory Model Checking. 160-175
Electronic Edition (link) BibTeX
Stefan Leue, Alin Stefanescu, Wei Wei:
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. 176-195
Electronic Edition (link) BibTeX
Radu Mateescu, Emilie Oudot:
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. 196-213
Electronic Edition (link) BibTeX
Nazha Abed, Stavros Tripakis, Jean-Marc Vincent:
Resource-Aware Verification Using Randomized Exploration of Large State Spaces. 214-231
Electronic Edition (link) BibTeX
Viet Yen Nguyen, Theo C. Ruys:
Incremental Hashing for Spin. 232-249
Electronic Edition (link) BibTeX
Gaurav Singh, Sandeep K. Shukla:
Verifying Compiler Based Refinement of BluespecTM. 250-269
Electronic Edition (link) BibTeX
Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon:
Symbolic Context-Bounded Analysis of Multithreaded Java Programs. 270-287
Electronic Edition (link) BibTeX
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Efficient Stateful Dynamic Partial Order Reduction. 288-305
Electronic Edition (link) BibTeX
Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra:
Symbolic String Verification: An Automata-Based Approach. 306-324
Electronic Edition (link) BibTeX
Anna Zaks, Rajeev Joshi:
Verifying Multi-threaded C Programs with SPIN. 325-342
Electronic Edition (link) BibTeX