- Salil Joshi, Barbara König:
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems. CAV 2008: 214-226 - Sujatha Kashyap, Vijay K. Garg:
Producing Short Counterexamples Using "Crucial Events". CAV 2008: 491-503 - Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi:
Application of Formal Word-Level Analysis to Constrained Random Simulation. CAV 2008: 487-490 - Johannes Kinder, Helmut Veith:
Jakstab: A Static Analysis Platform for Binaries. CAV 2008: 423-427 - Andy King, Harald Søndergaard
:
Inferring Congruence Equations Using SAT. CAV 2008: 281-293 - Naoki Kobayashi, Davide Sangiorgi:
A Hybrid Type System for Lock-Freedom of Mobile Processes. CAV 2008: 80-93 - Sudipta Kundu, Sorin Lerner, Rajesh Gupta:
Validating High-Level Synthesis. CAV 2008: 459-472 - Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski:
Faster Than Uppaal? CAV 2008: 552-555 - Akash Lal, Thomas W. Reps:
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis. CAV 2008: 37-51 - James R. Larus:
Singularity: Designing Better Software (Invited Talk). CAV 2008: 1-2 - Axel Legay:
T(O)RMC: A Tool for (omega)-Regular Model Checking. CAV 2008: 548-551 - Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay:
THOR: A Tool for Reasoning about Shape and Arithmetic. CAV 2008: 428-432 - Laura I. Meikle, Jacques D. Fleuriot:
Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B. CAV 2008: 309-313 - Huu Hai Nguyen, Wei-Ngan Chin:
Enhancing Program Verification with Lemmas. CAV 2008: 355-369 - Peter Niebert, Doron A. Peled, Amir Pnueli:
Discriminative Model Checking. CAV 2008: 504-516 - Peter W. O'Hearn:
Tutorial on Separation Logic (Invited Tutorial). CAV 2008: 19-21 - Ruzica Piskac, Viktor Kuncak:
Linear Arithmetic with Stars. CAV 2008: 268-280 - André Platzer, Edmund M. Clarke:
Computing Differential Invariants of Hybrid Systems as Fixedpoints. CAV 2008: 176-189 - Andreas Podelski, Andrey Rybalchenko, Thomas Wies:
Heap Assumptions on Demand. CAV 2008: 314-327 - Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby:
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. CAV 2008: 66-79 - Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Gert-Martin Greuel:
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths. CAV 2008: 473-486 - Reinhard Wilhelm, Björn Wachter:
Abstract Interpretation with Applications to Timing Validation. CAV 2008: 22-36 - Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn:
Scalable Shape Analysis for Systems Code. CAV 2008: 385-398 - Aarti Gupta, Sharad Malik:
Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings. Lecture Notes in Computer Science 5123, Springer 2008, ISBN 978-3-540-70543-7 [contents]
