Abstract is missing.
- Understanding Transactional Memory (Extended Abstract)João Lourenço. 1-2 [doi]
- The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk)Clark Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli. 3 [doi]
- Testing Concurrent SoftwareShmuel Ur. 4 [doi]
- Reflections on Spartan Programming and the No-Debugger PrincipleJoseph Gil. 5-8 [doi]
- An Introduction to Test Specification in FQLAndreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith. 9-22 [doi]
- Verification Failures: What to Do When Things Go WrongValeria Bertacco. 23 [doi]
- Special Session on DebuggingYoav Hollander, Alan Hu, João Lourenço, Ronny Morad. 24-28 [doi]
- Debugging Unrealizable Specifications with Model-Based DiagnosisRobert Könighofer, Georg Hofferek, Roderick Bloem. 29-45 [doi]
- Parallelizing a Symbolic Compositional Model-Checking AlgorithmAriel Cohen 0002, Kedar S. Namjoshi, Yaniv Sa ar, Lenore D. Zuck, Katya I. Kisyova. 46-59 [doi]
- Reaching Coverage Closure in Post-silicon ValidationAllon Adir, Amir Nahir, Avi Ziv, Charles Meissner, John Schumann. 60-75 [doi]
- Variants of LTL Query CheckingHana Chockler, Arie Gurfinkel, Ofer Strichman. 76-92 [doi]
- SAT-Solving Based on Boundary Point EliminationEugene Goldberg, Panagiotis Manolios. 93-111 [doi]
- Feedback-Based Coverage Directed Test Generation: An Industrial EvaluationCharalambos Ioannides, Geoff Barrett, Kerstin Eder. 112-128 [doi]
- vlogsl: A Strategy Language for Simulation-Based Verification of HardwareMichael Katelman, José Meseguer. 129-145 [doi]
- Advances in Simultaneous Multithreading Testcase Generation MethodsJohn M. Ludden, Michal Rimon, Bryan G. Hickerson, Allon Adir. 146-160 [doi]
- Revisiting Synthesis of GR(1) SpecificationsUri Klein, Amir Pnueli. 161-181 [doi]
- An Efficient and Flexible Approach to Resolution Proof ReductionSimone Rollini, Roberto Bruttomesso, Natasha Sharygina. 182-196 [doi]