The SCEAS System
Navigation Menu

Conferences in DBLP

Computer Aided Verification (CAV) (cav)
1996 (conf/cav/1996)

  1. 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]
  2. Kenneth L. McMillan
    A Conjunctively Decomposed Boolean Representation for Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:13-25 [Conf]
  3. George S. Avrunin
    Symbolic Model Checking Using Algebraic Geometry. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:26-37 [Conf]
  4. 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]
  5. Christel Baier
    Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:50-61 [Conf]
  6. Igor Walukiewicz
    Pushdown Processes: Games and Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:62-74 [Conf]
  7. Orna Kupferman, Moshe Y. Vardi
    Module Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:75-86 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
    Modular Verification of SRT Division. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:123-134 [Conf]
  12. Deepak Kapur, Mahadevan Subramaniam
    Mechanically Verifying a Family of Multiplier Circuits. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:135-146 [Conf]
  13. C. Norris Ip, David L. Dill
    Verifying Systems with Replicated Components in Murphi. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:147-158 [Conf]
  14. Masahiro Fujita
    Verification of Arithmetic Circuits by Comparing Two Similar Circuits. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:159-168 [Conf]
  15. John M. Rushby
    Automated Deduction and Formal Methods. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:169-183 [Conf]
  16. Amir Pnueli, Elad Shahar
    A Platform for Combining Deductive with Algorithmic Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:184-195 [Conf]
  17. Susanne Graf, Hassen Saïdi
    Verifying Invariants Using theorem Proving. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:196-207 [Conf]
  18. Henny Sipma, Tomás E. Uribe, Zohar Manna
    Deductive Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:208-219 [Conf]
  19. 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]
  20. Stavros Tripakis, Sergio Yovine
    Analysis of Timed Systems Based on Time-Abstracting Bisimulation. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:232-243 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. Mark R. Greenstreet
    Verifying Safety Properties of Differential Equations. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:277-287 [Conf]
  25. Luca de Alfaro, Zohar Manna
    Temporal Verification by Diagram Transformations. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:288-299 [Conf]
  26. Seungjoon Park, David L. Dill
    Protocol Verification by Aggregation of Distributed Transactions. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:300-310 [Conf]
  27. E. Pascal Gribomont
    Atomicity Refinement and Trace Reduction Theorems. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:311-322 [Conf]
  28. 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]
  29. Hillel Miller, Shmuel Katz
    Saving Space by Fully Exploiting Invisible Transitions. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:336-347 [Conf]
  30. 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]
  31. Rani Nelken, Nissim Francez
    Automatic Translation of Natural Language System Specifications. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:360-371 [Conf]
  32. Orna Kupferman, Moshe Y. Vardi
    Verification of Fair Transisiton Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:372-382 [Conf]
  33. Gerard J. Holzmann, Doron Peled
    The State of SPIN. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:385-389 [Conf]
  34. David L. Dill
    The Murphi Verification System. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:390-393 [Conf]
  35. Rance Cleaveland, Steve Sims
    The NCSU Concurrency Workbench. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:394-397 [Conf]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
    The FC2TOOLS Set. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:441-445 [Conf]
  46. 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]
  47. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
    The METAFrame'95 Environment. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:450-453 [Conf]
  48. Frank A. Koch, Markus Ullmann, Stefan Wittmann
    Verification Support Environment. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:454-457 [Conf]
  49. Dominique Ambroise, Brigitte Rozoy
    Marella: A Tool for Simulation and Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:458-461 [Conf]
  50. Georges Gonthier
    Verifying the Safety of a Practical Concurrent Garbage Collector. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:462-465 [Conf]
  51. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002