|
Conferences in DBLP
- Bernard Boigelot, Patrice Godefroid
Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract). [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:1-12 [Conf]
- Kenneth L. McMillan
A Conjunctively Decomposed Boolean Representation for Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:13-25 [Conf]
- George S. Avrunin
Symbolic Model Checking Using Algebraic Geometry. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:26-37 [Conf]
- Marco Pistore, Davide Sangiorgi
A Partition Refinement Algorithm for the pi-Calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:38-49 [Conf]
- Christel Baier
Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:50-61 [Conf]
- Igor Walukiewicz
Pushdown Processes: Games and Model Checking. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:62-74 [Conf]
- Orna Kupferman, Moshe Y. Vardi
Module Checking. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:75-86 [Conf]
- E. Allen Emerson, Kedar S. Namjoshi
Automatic Verification of Parameterized Synchronous Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:87-98 [Conf]
- Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz
HORNSAT, Model Checking, Verification and games (Extended Abstract). [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:99-110 [Conf]
- Edmund M. Clarke, Steven M. German, Xudong Zhao
Verifying the SRT Division Algorithm Using Theorem Proving Techniques. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:111-122 [Conf]
- Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
Modular Verification of SRT Division. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:123-134 [Conf]
- Deepak Kapur, Mahadevan Subramaniam
Mechanically Verifying a Family of Multiplier Circuits. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:135-146 [Conf]
- C. Norris Ip, David L. Dill
Verifying Systems with Replicated Components in Murphi. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:147-158 [Conf]
- Masahiro Fujita
Verification of Arithmetic Circuits by Comparing Two Similar Circuits. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:159-168 [Conf]
- John M. Rushby
Automated Deduction and Formal Methods. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:169-183 [Conf]
- Amir Pnueli, Elad Shahar
A Platform for Combining Deductive with Algorithmic Verification. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:184-195 [Conf]
- Susanne Graf, Hassen Saïdi
Verifying Invariants Using theorem Proving. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:196-207 [Conf]
- Henny Sipma, Tomás E. Uribe, Zohar Manna
Deductive Model Checking. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:208-219 [Conf]
- Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
Automated Verification by Induction with Associative-Commutative Operators. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:220-231 [Conf]
- Stavros Tripakis, Sergio Yovine
Analysis of Timed Systems Based on Time-Abstracting Bisimulation. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:232-243 [Conf]
- Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
Verification of an Audio Protocol with Bus Collision Using UPPAAL. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:244-256 [Conf]
- Sérgio Vale Aguiar Campos, Orna Grumberg
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:257-268 [Conf]
- Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton
Verifying Continuous Time Markov Chains. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:269-276 [Conf]
- Mark R. Greenstreet
Verifying Safety Properties of Differential Equations. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:277-287 [Conf]
- Luca de Alfaro, Zohar Manna
Temporal Verification by Diagram Transformations. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:288-299 [Conf]
- Seungjoon Park, David L. Dill
Protocol Verification by Aggregation of Distributed Transactions. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:300-310 [Conf]
- E. Pascal Gribomont
Atomicity Refinement and Trace Reduction Theorems. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:311-322 [Conf]
- Saddek Bensalem, Yassine Lakhnech, Hassen Saïdi
Powerful Techniques for the Automatic Generation of Invariants. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:323-335 [Conf]
- Hillel Miller, Shmuel Katz
Saving Space by Fully Exploiting Invisible Transitions. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:336-347 [Conf]
- Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
Using On-The-Fly Verification Techniques for the Generation of test Suites. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:348-359 [Conf]
- Rani Nelken, Nissim Francez
Automatic Translation of Natural Language System Specifications. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:360-371 [Conf]
- Orna Kupferman, Moshe Y. Vardi
Verification of Fair Transisiton Systems. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:372-382 [Conf]
- Gerard J. Holzmann, Doron Peled
The State of SPIN. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:385-389 [Conf]
- David L. Dill
The Murphi Verification System. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:390-393 [Conf]
- Rance Cleaveland, Steve Sims
The NCSU Concurrency Workbench. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:394-397 [Conf]
- Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
The Concurrency Factory: A Development Environment for Concurrent Systems. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:398-401 [Conf]
- Duncan Clarke, Hanêne Ben-Abdallah, Insup Lee, Hong-liang Xie, Oleg Sokolsky
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:402-405 [Conf]
- Pedro Merino, José M. Troya
EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:406-410 [Conf]
- Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
PVS: Combining Specification, Proof Checking, and Model Checking. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:411-414 [Conf]
- Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:415-418 [Conf]
- Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vassili Hartonas-Garmhausen
Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:419-427 [Conf]
- 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
VIS: A System for Verification and Synthesis. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:428-432 [Conf]
- K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou
MDG Tools for the Verification of RTL Designs. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:433-436 [Conf]
- Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
CADP - A Protocol Validation and Verification Toolbox. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:437-440 [Conf]
- Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
The FC2TOOLS Set. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:441-445 [Conf]
- Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon
The Real-Time Graphical Interval Logic Toolset. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:446-449 [Conf]
- Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
The METAFrame'95 Environment. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:450-453 [Conf]
- Frank A. Koch, Markus Ullmann, Stefan Wittmann
Verification Support Environment. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:454-457 [Conf]
- Dominique Ambroise, Brigitte Rozoy
Marella: A Tool for Simulation and Verification. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:458-461 [Conf]
- Georges Gonthier
Verifying the Safety of a Practical Concurrent Garbage Collector. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:462-465 [Conf]
- Carla Capellmann, Ralph Demant, Farhad Fatahi-Vanani, Rafael Galvez-Estrada, Ulrich Nitsche, Peter Ochsenschläger
Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:466-469 [Conf]
|