default search action
15th SPIN 2008: Los Angeles, CA, USA
- Klaus Havelund, Rupak Majumdar, Jens Palsberg:
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 S. 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 - 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
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
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
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.
last updated on 2025-01-13 00:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: