Abstract is missing.
- DIVINE: DIscovering Variables IN ExecutablesGogul Balakrishnan, Thomas W. Reps. 1-28 [doi]
- Verifying Compensating TransactionsMichael Emmi, Rupak Majumdar. 29-43 [doi]
- Model Checking Nonblocking MPI ProgramsStephen F. Siegel. 44-58 [doi]
- Model Checking Via GammaCFAMatthew Might, Benjamin Chambers, Olin Shivers. 59-73 [doi]
- Using First-Order Theorem Provers in the Jahob Data Structure Verification SystemCharles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard. 74-88 [doi]
- Interpolants and Symbolic Model CheckingKenneth L. McMillan. 89-90 [doi]
- Shape Analysis of Single-Parent HeapsIttai Balaban, Amir Pnueli, Lenore D. Zuck. 91-105 [doi]
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data StructuresZvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu. 106-121 [doi]
- On Flat Programs with ListsMarius Bozga, Radu Iosif. 122-136 [doi]
- Automata-Theoretic Model Checking RevisitedMoshe Y. Vardi. 137-150 [doi]
- Language-Based Abstraction Refinement for Hybrid System VerificationFelix Klaedtke, Stefan Ratschan, Zhikun She. 151-166 [doi]
- More Precise Partition AbstractionsHarald Fecher, Michael Huth. 167-181 [doi]
- The Spotlight PrincipleBjörn Wachter, Bernd Westphal. 182-198 [doi]
- Lattice AutomataOrna Kupferman, Yoad Lustig. 199-213 [doi]
- Learning Algorithms and Formal Verification (Invited Tutorial)P. Madhusudan. 214 [doi]
- Constructing Specialized Shape Analyses for Uniform ChangeTal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps. 215-233 [doi]
- Maintaining Doubly-Linked List Invariants in Shape Analysis with Local ReasoningSigmund Cherem, Radu Rugina. 234-250 [doi]
- Automated Verification of Shape and Size Properties Via Separation LogicHuu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin. 251-266 [doi]
- Towards Shape Analysis for Device DriversHongseok Yang. 267 [doi]
- An Abstract Domain Extending Difference-Bound Matrices with Disequality ConstraintsMathias Péron, Nicolas Halbwachs. 268-282 [doi]
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java ClassesFrancesco Logozzo. 283-298 [doi]
- Symmetry and Completeness in the Analysis of Parameterized SystemsKedar S. Namjoshi. 299-313 [doi]
- Better Under-Approximation of Programs by Hiding VariablesThomas Ball, Orna Kupferman. 314-328 [doi]
- The Constraint Database Approach to Software VerificationPeter Z. Revesz. 329-345 [doi]
- Constraint Solving for InterpolationAndrey Rybalchenko, Viorica Sofronie-Stokkermans. 346-362 [doi]
- Assertion Checking UnifiedSumit Gulwani, Ashish Tiwari. 363-377 [doi]
- Invariant Synthesis for Combined TheoriesDirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko. 378-394 [doi]