Abstract is missing.
- May/Must Abstraction-Based Software Model Checking for Sound Verification and FalsificationPatrice Godefroid. 1-16 [doi]
- SAT-based Model Checking: Interpolation, IC3, and BeyondOrna Grumberg, Sharon Shoham, Yakir Vizel. 17-41 [doi]
- Program SynthesisSumit Gulwani. 43-75 [doi]
- Applications of Interactive Proof to Data Flow Analysis and SecurityGerwin Klein, Tobias Nipkow. 77-134 [doi]
- E-Voting SystemsRalf Küsters. 135-164 [doi]
- Probabilistic Model Checking for BiologyMarta Z. Kwiatkowska, Chris Thachuk. 165-189 [doi]
- Foundations of Infinite-State VerificationRupak Majumdar. 191-222 [doi]
- Boolean Satisfiability: Solvers and ExtensionsGeorg Weissenbacher, Pramod Subramanyan, Sharad Malik. 223-278 [doi]
- Programming in ParagonBart van Delft, Niklas Broberg, David Sands. 279-308 [doi]
- Frameworks for Interprocedural Analysis of Concurrent ProgramsHelmut Seidl, Kalmer Apinis, Vesal Vojdani. 309-347 [doi]
- Practical Software SynthesisEran Yahav. 349-377 [doi]