| 1996 | A Conjunctively Decomposed Boolean Representation for Symbolic Model Checking. Kenneth L. McMillan |
| 1996 | A Partition Refinement Algorithm for the Marco Pistore, Davide Sangiorgi |
| 1996 | A Platform for Combining Deductive with Algorithmic Verification. Amir Pnueli, Elad Shahar |
| 1996 | Analysis of Timed Systems Based on Time-Abstracting Bisimulation. Stavros Tripakis, Sergio Yovine |
| 1996 | Atomicity Refinement and Trace Reduction Theorems. E. Pascal Gribomont |
| 1996 | Automated Deduction and Formal Methods. John M. Rushby |
| 1996 | Automated Verification by Induction with Associative-Commutative Operators. Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch |
| 1996 | Automatic Translation of Natural Language System Specifications. Rani Nelken, Nissim Francez |
| 1996 | Automatic Verification of Parameterized Synchronous Systems (Extended Abstract). E. Allen Emerson, Kedar S. Namjoshi |
| 1996 | CADP - A Protocol Validation and Verification Toolbox. Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu |
| 1996 | Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings Rajeev Alur, Thomas A. Henzinger |
| 1996 | Deductive Model Checking. Henny Sipma, Tomás E. Uribe, Zohar Manna |
| 1996 | EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. Pedro Merino, José M. Troya |
| 1996 | HORNSAT, Model Checking, Verification and games (Extended Abstract). Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz |
| 1996 | MDG Tools for the Verification of RTL Designs. K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou |
| 1996 | Marella: A Tool for Simulation and Verification. Dominique Ambroise, Brigitte Rozoy |
| 1996 | Mechanically Verifying a Family of Multiplier Circuits. Deepak Kapur, Mahadevan Subramaniam |
| 1996 | Modular Verification of SRT Division. Harald Rueß, Natarajan Shankar, Mandayam K. Srivas |
| 1996 | Module Checking. Orna Kupferman, Moshe Y. Vardi |
| 1996 | PVS: Combining Specification, Proof Checking, and Model Checking. Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas |
| 1996 | Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation. Christel Baier |
| 1996 | Powerful Techniques for the Automatic Generation of Invariants. Saddek Bensalem, Yassine Lakhnech, Hassen Saïdi |
| 1996 | Protocol Verification by Aggregation of Distributed Transactions. Seungjoon Park, David L. Dill |
| 1996 | Pushdown Processes: Games and Model Checking. Igor Walukiewicz |
| 1996 | 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, Henny Sipma, Tomás E. Uribe |
| 1996 | Saving Space by Fully Exploiting Invisible Transitions. Hillel Miller, Shmuel Katz |
| 1996 | Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. Sérgio Vale Aguiar Campos, Orna Grumberg |
| 1996 | Symbolic Model Checking Using Algebraic Geometry. George S. Avrunin |
| 1996 | Symbolic Model Checking. Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vasiliki Hartonas-Garmhausen |
| 1996 | Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract). Bernard Boigelot, Patrice Godefroid |
| 1996 | Temporal Verification by Diagram Transformations. Luca de Alfaro, Zohar Manna |
| 1996 | The Concurrency Factory: A Development Environment for Concurrent Systems. Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky |
| 1996 | The FC2TOOLS Set. Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone |
| 1996 | The METAFrame'95 Environment. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun |
| 1996 | The Mur David L. Dill |
| 1996 | The NCSU Concurrency Workbench. Rance Cleaveland, Steve Sims |
| 1996 | The Real-Time Graphical Interval Logic Toolset. Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon |
| 1996 | The State of SPIN. Gerard J. Holzmann, Doron A. Peled |
| 1996 | Using On-The-Fly Verification Techniques for the Generation of test Suites. Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho |
| 1996 | VIS: A System for Verification and Synthesis. Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1996 | Verification Support Environment. Frank A. Koch, Markus Ullmann, Stefan Wittmann |
| 1996 | 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 |
| 1996 | Verification of Arithmetic Circuits by Comparing Two Similar Circuits. Masahiro Fujita |
| 1996 | Verification of Fair Transisiton Systems. Orna Kupferman, Moshe Y. Vardi |
| 1996 | 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, Wang Yi |
| 1996 | Verifying Continuous Time Markov Chains. Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton |
| 1996 | Verifying Invariants Using theorem Proving. Susanne Graf, Hassen Saïdi |
| 1996 | Verifying Safety Properties of Differential Equations. Mark R. Greenstreet |
| 1996 | Verifying Systems with Replicated Components in Mur C. Norris Ip, David L. Dill |
| 1996 | Verifying the SRT Division Algorithm Using Theorem Proving Techniques. Edmund M. Clarke, Steven M. German, Xudong Zhao |
| 1996 | Verifying the Safety of a Practical Concurrent Garbage Collector. Georges Gonthier |
| 1996 | 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 |