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