Abstract is missing.
- Residual Checking of Safety PropertiesMatthew B. Dwyer, Rahul Purandare. 1-2 [doi]
- The Case for Context-Bounded Verification of Concurrent ProgramsShaz Qadeer. 3-6 [doi]
- Combining Static and Dynamic Reasoning for the Discovery of Program PropertiesYannis Smaragdakis. 7-8 [doi]
- Using Dynamic Symbolic Execution to Improve Deductive VerificationDries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann. 9-25 [doi]
- Automated Evaluation of Secure Route Discovery in MANET ProtocolsTodd R. Andel, Alec Yasinsac. 26-41 [doi]
- Model Checking Abstract Components within Concrete Software EnvironmentsTonglaga Bao, Michael Jones. 42-59 [doi]
- Generating Compact MTBDD-Representations from ProbmelaSpecificationsFrank Ciesinski, Christel Baier, Marcus Größer, David Parker. 60-76 [doi]
- Dynamic Delayed Duplicate Detection for External Memory Model CheckingSami Evangelista. 77-94 [doi]
- State Focusing: Lazy Abstraction for the Mu-CalculusHarald Fecher, Sharon Shoham. 95-113 [doi]
- Efficient Modeling of Concurrent Systems in BMCMalay K. Ganai, Aarti Gupta. 114-133 [doi]
- Tackling Large Verification Problems with the Swarm ToolGerard J. Holzmann, Rajeev Joshi, Alex Groce. 134-143 [doi]
- Formal Verification of a Flash Memory Device Driver - An Experience ReportMoonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim. 144-159 [doi]
- Layered Duplicate Detection in External-Memory Model CheckingPeter Lamborn, Eric A. Hansen. 160-175 [doi]
- Dependency Analysis for Control Flow Cycles in Reactive Communicating ProcessesStefan Leue, Alin Stefanescu, Wei Wei. 176-195 [doi]
- Improved On-the-Fly Equivalence Checking Using Boolean Equation SystemsRadu Mateescu, Emilie Oudot. 196-213 [doi]
- Resource-Aware Verification Using Randomized Exploration of Large State SpacesNazha Abed, Stavros Tripakis, Jean-Marc Vincent. 214-231 [doi]
- Incremental Hashing for SpinViet Yen Nguyen, Theo C. Ruys. 232-249 [doi]
- Verifying Compiler Based Refinement of BluespecTMGaurav Singh, Sandeep K. Shukla. 250-269 [doi]
- Symbolic Context-Bounded Analysis of Multithreaded Java ProgramsDejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon. 270-287 [doi]
- Efficient Stateful Dynamic Partial Order ReductionYu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby. 288-305 [doi]
- Symbolic String Verification: An Automata-Based ApproachFang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra. 306-324 [doi]
- Verifying Multi-threaded C Programs with SPINAnna Zaks, Rajeev Joshi. 325-342 [doi]