CAV 2002

51 papers

1. A Modular Checker for Multithreaded Programs · Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia
2. AMC: An Adaptive Model Checker · Alex Groce, Doron A. Peled, Mihalis Yannakakis
3. Abstracting C with abC · Dennis Dams, William Hesse, Gerard J. Holzmann
4. Algorithmic Verification of Invalidation-Based Protocols · Marco Bozzano, Giorgio Delzanno
5. Applying SAT Methods in Unbounded Symbolic Model Checking · Kenneth L. McMillan
6. Automated Unbounded Verification of Security Protocols · Yannick Chevalier, Laurent Vigneron
7. Automatic Abstraction Using Generalized Model Checking · Patrice Godefroid, Radha Jagadeesan
8. Automatic Derivation of Timing Constraints by Failure Analysis · Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers
9. CVC: A Cooperating Validity Checker · Aaron Stump, Clark W. Barrett, David L. Dill
10. Canonical Prefixes of Petri Net Unfoldings · Victor Khomenko, Maciej Koutny, Walter Vogler
11. Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT · Clark W. Barrett, David L. Dill, Aaron Stump
12. Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking · Sharon Barner, Orna Grumberg
13. Compressing Transitions for Model Checking · Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün
14. Conformance Checking for Models of Asynchronous Message Passing Software · Sriram K. Rajamani, Jakob Rehof
15. Deciding Separation Formulas with SAT · Ofer Strichman, Sanjit A. Seshia, Randal E. Bryant
16. Evidence-Based Model Checking · Li Tan, Rance Cleaveland
17. Exploiting Behavioral Hierarchy for Efficient Model Checking · Rajeev Alur, Michael McDougall, Zijiang Yang
18. Extrapolating Tree Transformations · Ahmed Bouajjani, Tayssir Touili
19. Fair Simulation Minimization · Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi
20. Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving · Christian Jacobi
21. IF-2.0: A Validation Environment for Component-Based Real-Time Systems · Marius Bozga, Susanne Graf, Laurent Mounier
22. Infinite Games and Verification (Extended Abstract of a Tutorial) · Wolfgang Thomas
23. Interface Compatibility Checking for Software Modules · Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang
24. Liveness with (0, 1, infty)-Counter Abstraction · Amir Pnueli, Jessie Xu, Lenore D. Zuck
25. Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification · Gianpiero Cabodi, Sergio Nocco, Stefano Quer
26. Model Checking Linear Properties of Prefix-Recognizable Systems · Orna Kupferman, Nir Piterman, Moshe Y. Vardi
27. Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions · Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia
28. NuSMV 2: An OpenSource Tool for Symbolic Model Checking · Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri + 2 more
29. On Abstraction in Software Verification · Patrick Cousot, Radhia Cousot
30. On Discrete Modeling and Model Checking for Nonlinear Analog Systems · Walter Hartong, Lars Hedrich, Erich Barke
31. PathFinder: A Tool for Design Exploration · Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
32. Practical Methods for Proving Program Termination · Michael Colón, Henny Sipma
33. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling · Håkan L. S. Younes, Reid G. Simmons
34. Property Checking via Structural Analysis · Jason Baumgartner, Andreas Kuehlmann, Jacob A. Abraham
35. Regular Tree Model Checking · Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d'Orso
36. SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques · Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman
37. SPeeDI - A Verification Tool for Polygonal Hybrid Systems · Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
38. Semi-formal Bounded Model Checking · Jesse D. Bingham, Alan J. Hu
39. Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking · Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan
40. Software Analysis and Model Checking · Gerard J. Holzmann
41. State Space Reduction by Proving Confluence · Stefan Blom, Jaco van de Pol
42. Symbolic Localization Reduction with Reconstruction Layering and Backtracking · Sharon Barner, Daniel Geist, Anna Gringauze
43. Synchronous and Bidirectional Component Interfaces · Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
44. Temporal-Safety Proofs for Systems Code · Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer
45. The AVISS Security Protocol Analysis Tool · Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim + 4 more
46. The Quest for Efficient Boolean Satisfiability Solvers · Lintao Zhang, Sharad Malik
47. The Symbolic Approach to Hybrid Systems · Thomas A. Henzinger
48. The d/dt Tool for Verification of Hybrid Systems · Eugene Asarin, Thao Dang, Oded Maler
49. Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking · Tatiana Rybina, Andrei Voronkov
50. Vacuum Cleaning CTL Formulae · Mitra Purandare, Fabio Somenzi
51. chi-Chek: A Multi-valued Model-Checker · Marsha Chechik, Arie Gurfinkel, Benet Devereux