CAV 1996

51 papers

1. A Conjunctively Decomposed Boolean Representation for Symbolic Model Checking · Kenneth L. McMillan
2. A Partition Refinement Algorithm for the pi-Calculus (Extended Abstract) · Marco Pistore, Davide Sangiorgi
3. A Platform for Combining Deductive with Algorithmic Verification · Amir Pnueli, Elad Shahar
4. Analysis of Timed Systems Based on Time-Abstracting Bisimulation · Stavros Tripakis, Sergio Yovine
5. Atomicity Refinement and Trace Reduction Theorems · E. Pascal Gribomont
6. Automated Deduction and Formal Methods · John M. Rushby
7. Automated Verification by Induction with Associative-Commutative Operators · Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
8. Automatic Translation of Natural Language System Specifications · Rani Nelken, Nissim Francez
9. Automatic Verification of Parameterized Synchronous Systems (Extended Abstract) · E. Allen Emerson, Kedar S. Namjoshi
10. CADP - A Protocol Validation and Verification Toolbox · Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
11. Deductive Model Checking · Henny Sipma, Tomás E. Uribe, Zohar Manna
12. EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols · Pedro Merino, José M. Troya
13. HORNSAT, Model Checking, Verification and games (Extended Abstract) · Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz
14. MDG Tools for the Verification of RTL Designs · K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song + 3 more
15. Marella: A Tool for Simulation and Verification · Dominique Ambroise, Brigitte Rozoy
16. Mechanically Verifying a Family of Multiplier Circuits · Deepak Kapur, Mahadevan Subramaniam
17. Modular Verification of SRT Division · Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
18. Module Checking · Orna Kupferman, Moshe Y. Vardi
19. PVS: Combining Specification, Proof Checking, and Model Checking · Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
20. Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation · Christel Baier
21. Powerful Techniques for the Automatic Generation of Invariants · Saddek Bensalem, Yassine Lakhnech, Hassen Saïdi
22. Protocol Verification by Aggregation of Distributed Transactions · Seungjoon Park, David L. Dill
23. Pushdown Processes: Games and Model Checking · Igor Walukiewicz
24. STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems · Nikolaj S. Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna + 2 more
25. Saving Space by Fully Exploiting Invisible Transitions · Hillel Miller, Shmuel Katz
26. Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System · Sérgio Vale Aguiar Campos, Orna Grumberg
27. Symbolic Model Checking · Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vasiliki Hartonas-Garmhausen
28. Symbolic Model Checking Using Algebraic Geometry · George S. Avrunin
29. Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract) · Bernard Boigelot, Patrice Godefroid
30. Temporal Verification by Diagram Transformations · Luca de Alfaro, Zohar Manna
31. The Concurrency Factory: A Development Environment for Concurrent Systems · Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
32. The FC2TOOLS Set · Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
33. The METAFrame'95 Environment · Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
34. The Murphi Verification System · David L. Dill
35. The NCSU Concurrency Workbench · Rance Cleaveland, Steve Sims
36. The Real-Time Graphical Interval Logic Toolset · Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon
37. The State of SPIN · Gerard J. Holzmann, Doron A. Peled
38. Using On-The-Fly Verification Techniques for the Generation of test Suites · Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
39. VIS: A System for Verification and Synthesis · Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng + 10 more
40. Verification Support Environment · Frank A. Koch, Markus Ullmann, Stefan Wittmann
41. Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks · Carla Capellmann, Ralph Demant, Farhad Fatahi-Vanani, Rafael Galvez-Estrada, Ulrich Nitsche, Peter Ochsenschläger
42. Verification of Arithmetic Circuits by Comparing Two Similar Circuits · Masahiro Fujita
43. Verification of Fair Transisiton Systems · Orna Kupferman, Moshe Y. Vardi
44. Verification of an Audio Protocol with Bus Collision Using UPPAAL · Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson + 1 more
45. Verifying Continuous Time Markov Chains · Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton
46. Verifying Invariants Using theorem Proving · Susanne Graf, Hassen Saïdi
47. Verifying Safety Properties of Differential Equations · Mark R. Greenstreet
48. Verifying Systems with Replicated Components in Murphi · C. Norris Ip, David L. Dill
49. Verifying the SRT Division Algorithm Using Theorem Proving Techniques · Edmund M. Clarke, Steven M. German, Xudong Zhao
50. Verifying the Safety of a Practical Concurrent Garbage Collector · Georges Gonthier
51. XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems · Duncan Clarke, Hanêne Ben-Abdallah, Insup Lee, Hong-liang Xie, Oleg Sokolsky