CAV 2001

48 papers

1. A BDD-Based Model Checker for Recursive Programs · Javier Esparza, Stefan Schwoon
2. A Fast Bisimulation Algorithm · Agostino Dovier, Carla Piazza, Alberto Policriti
3. A Practical Approach to Coverage in Model Checking · Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi
4. A Unifying Model Checking Approach for Safety Properties of Parameterized Systems · Monika Maidl
5. AGVI - Automatic Generation, Verification, and Implementation of Security Protocols · Dawn Xiaodong Song, Adrian Perrig, Doantam Phan
6. Analysis of Recursive State Machines · Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
7. As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata · Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson + 1 more
8. Attacking Symbolic State Explosion · Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
9. Automated Inductive Verification of Parameterized Protocols · Abhik Roychoudhury, I. V. Ramakrishnan
10. Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM · Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala
11. Automatic Abstraction for Verification of Timed Circuits and Systems · Hao Zheng, Eric Mercer, Chris J. Myers
12. Benefits of Bounded Model Checking at an Industrial Setting · Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella + 1 more
13. Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks · Zhe Dang
14. BooStER: Speeding Up RTL Property Checking of Digital Designs by Word-Level Abstarction · Peer Johannsen
15. CLEVER: Divide and Conquer Combinational Logic Equivalence VERification with False Negative Elimination · John Moondanos, Carl-Johan H. Seger, Ziyad Hanna, Daher Kaiss
16. Certifying Model Checkers · Kedar S. Namjoshi
17. Distributed Symbolic Model Checking for µ-Calculus · Orna Grumberg, Tamir Heyman, Assaf Schuster
18. EASN: Integrating ASN.1 and Model Checking · Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen
19. EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations · Miroslav N. Velev, Randal E. Bryant
20. Efficient Model Checking Via Büchi Tableau Automata · Girish Bhat, Rance Cleaveland, Alex Groce
21. Fast LTL to Büchi Automata Translation · Paul Gastin, Denis Oddoux
22. Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers · Per Bjesse, Tim Leonard, Abdel Mokkedem
23. Finite Instantiations in Equivalence Logic with Uninterpreted Functions · Yoav Rodeh, Ofer Strichman
24. Formalizing a JVML Verifier for Initialization in a Theorem Prover · Yves Bertot
25. ICS: Integrated Canonizer and Solver · Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar
26. Iterating Transducers · Dennis Dams, Yassine Lakhnech, Martin Steffen
27. Java Bytecode Verification: An Overview · Xavier Leroy
28. Job-Shop Scheduling Using Timed Automata · Yasmina Abdeddaïm, Oded Maler
29. Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions · Gianpiero Cabodi
30. Microarchitecture Verification by Compositional Model Checking · Ranjit Jhala, Kenneth L. McMillan
31. Model Checking the World Wide Web · Luca de Alfaro
32. Model Checking with Formula-Dependent Abstract Models · Alexander Asteroth, Christel Baier, Ulrich Aßmann
33. Parameterized Verification with Automatically Computed Inductive Assertions · Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck
34. Rewriting for Symbolic Execution of State Machine Models · J Strother Moore
35. Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams · Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
36. SDLcheck: A Model Checking Tool · Vladimir Levin, Hüsnü Yenigün
37. Software Documentation and the Verification Process · David Lorge Parnas
38. Symmetry and Reduced Symmetry in Model Checking · A. Prasad Sistla, Patrice Godefroid
39. TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems · Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil + 1 more
40. TReX: A Tool for Reachability Analysis of Complex Systems · Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu
41. The SLAM Toolkit · Thomas Ball, Sriram K. Rajamani
42. The Temporal Logic Sugar · Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh
43. Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2m) · Sumio Morioka, Yasunao Katayama, Toshiyuki Yamane
44. Transformation-Based Verification Using Generalized Retiming · Andreas Kuehlmann, Jason Baumgartner
45. Truth/SLC - A Parallel Verification Platform for Concurrent Systems · Martin Leucker, Thomas Noll
46. Using Timestamping and History Variables to Verify Sequential Consistency · Tamarah Arons
47. Verifying Network Protocol Implementations by Symbolic Refinement Checking · Rajeev Alur, Bow-Yaw Wang
48. µCRL: A Toolset for Analysing Algebraic Specifications · Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol