Abstract is missing.
- Pushdown Model Checking for SecurityDavid Wagner. 1 [doi]
- Execution Generated Test Cases: How to Make Systems Code Crash ItselfCristian Cadar, Dawson R. Engler. 2-23 [doi]
- Effective Bug Hunting with Spin and ModexGerard J. Holzmann, Theo C. Ruys. 24-24 [doi]
- The BLAST Software Verification SystemThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar. 25-26 [doi]
- Model Checking Programs with Java PathFinderWillem Visser, Peter C. Mehlitz. 27 [doi]
- An Incremental Heap Canonicalization AlgorithmMadanlal Musuvathi, David L. Dill. 28-42 [doi]
- Memory Efficient State Space Storage in Explicit Software Model CheckingSami Evangelista, Jean-François Pradat-Peyre. 43-57 [doi]
- Counterexample-Based Refinement for a Boundedness Test for CFSM LanguagesStefan Leue, Wei Wei. 58-74 [doi]
- Symbolic Model Checking for Asynchronous Boolean ProgramsByron Cook, Daniel Kroening, Natasha Sharygina. 75-90 [doi]
- Improving Spin s Partial-Order Reduction for Breadth-First SearchDragan Bosnacki, Gerard J. Holzmann. 91-105 [doi]
- Sound Transaction-Based Reduction Without Cycle DetectionVladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani. 106-122 [doi]
- Repairing Structurally Complex DataSarfraz Khurshid, Iván García, Yuk Lai Suen. 123-138 [doi]
- Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation ChoicesYung-Pin Cheng. 139-153 [doi]
- Behavioural Models for Hierarchical ComponentsTomás Barros, Ludovic Henrio, Eric Madelaine. 154-168 [doi]
- On-the-Fly Emptiness Checks for Generalized Büchi AutomataJean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud. 169-184 [doi]
- Stuttering Congruence for ::::chi::::Bas Luttik, Nikola Trcka. 185-199 [doi]
- Verifying Pattern-Generated LTL Formulas: A Case StudySalamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon. 200-220 [doi]
- Generic Verification of Security ProtocolsAbdul Sahid Khan, Madhavan Mukund, S. P. Suresh. 221-235 [doi]
- Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack ModelsGerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm. 236-250 [doi]
- Model Checking Machine Code with the GNU DebuggerEric Mercer, Michael Jones. 251-265 [doi]
- Etch: An Enhanced Type Checking Tool for PromelaAlastair F. Donaldson, Simon J. Gay. 266-271 [doi]
- Enhanced Probabilistic Verification with 3Spin and 3MurphiPeter C. Dillinger, Panagiotis Manolios. 272-276 [doi]
- SPLAT: A Tool for Model-Checking and Dynamically-Enforcing AbstractionsAnil Madhavapeddy, David Scott, Richard Sharp. 277-281 [doi]
- Learning-Based Assume-Guarantee Verification (Tool Paper)Dimitra Giannakopoulou, Corina S. Pasareanu. 282-287 [doi]