Abstract is missing.
- Logic Synthesis and Design VerificationRobert K. Brayton. 1-2
- Efficient Verification with BDDs using Implicitly Conjoined InvariantsAlan J. Hu, David L. Dill. 3-14
- Parametric Circuit Representation Using Inductive Boolean FunctionsAarti Gupta, Allan L. Fisher. 15-28
- An Iterative Approach to Language ContainmentFelice Balarin, Alberto L. Sangiovanni-Vincentelli. 29-40
- BDD-Based Debugging Of Design Using Language Containment and Fair CTLRamin Hojati, Robert K. Brayton, Robert P. Kurshan. 41-58
- Reliable Hashing without Collosion DetectionPierre Wolper, Denis Leroy. 59-70
- A Tool for Symbolic Program Verification and AbstrationSusanne Graf, Claire Loiseaux. 71-84
- Symbolic Equivalence CheckingJean-Claude Fernandez, Alain Kerbrat, Laurent Mounier. 85-96
- A Decision Algorithm for Full Propositional Temporal LogicYonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli. 97-109
- Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition SystemsA. S. Krishnakumar. 110-122
- Automatic Generation of Network Invariants for the Verification of Iterative Sequential SystemsJune-Kyung Rho, Fabio Somenzi. 123-137
- A Graphical Interval Logic Toolset for Verifying Concurrent SystemsG. Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith. 138-153
- Combining Model Checking and Theorem Proving to Verify Parallel ProcessesHardi Hungar. 154-165
- Verification of a Multiplier: 64 Bits and BeyondRobert P. Kurshan, Leslie Lamport. 166-179
- Protocol Design for an Automated Highway System (Abstract)Pravin Varaiya. 180
- Computing Accumulated Delays in Real-time SystemsRajeev Alur, Costas Courcoubetis, Thomas A. Henzinger. 181-193
- Reachability Analysis of Planar Multi-limear SystemsOded Maler, Amir Pnueli. 194-209
- An Efficient Algorithm for Minimizing Real-time Transition SystemsMihalis Yannakakis, David Lee. 210-224
- Verification of timing Properties of VHDLCostas Courcoubetis, Werner Damm, Bernhard Josko. 225-236
- Alternating RQ Timed AutomataWilliam K. C. Lam, Robert K. Brayton. 237-252
- Timed Modal Specification - Theory and ToolsKarlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen. 253-267
- A Mechanically Verified Application for a Mechanically Verified EnvironmentMatthew Wilding. 268-279
- Verification of Real-Time Systems Using PVSNatarajan Shankar. 280-291
- The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault ModelPatrick Lincoln, John M. Rushby. 292-304
- Computer-Assisted Simulation ProofsJørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants. 305-319
- A Verifier and Timing Analyser for Simple Imperative Programs (Abstract)Michael J. C. Gordon. 320
- Efficient Verification of Parallel Real-Time SystemsTomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke. 321-346
- Delay Analysis in Synchronous ProgramsNicolas Halbwachs. 333-346
- Verifying Quantitative Real-Time Properties of Synchronous ProgramsM. Jourdan, Florence Maraninchi, Alfredo Olivero. 347-358
- A Modal Logic for Message passing Processes (Extended Abstract)Matthew Hennessy, Xinxin Liu. 359-370
- Functionality Decomposition by Compositional Correstness Preserving TransformationEd Brinksma, Rom Langerak, Peter Broekroelofs. 371-384
- On Model-Checking for Fragments of µ-CalculusE. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla. 385-396
- On-the-Fly Verification with Stubborn SetsAntti Valmari. 397-408
- All from One, One for All: on Model Checking Using RepresentativesDoron Peled. 409-423
- Verifying Timed Behavior Automata with Input/Output Critical RacesDavid K. Probst, Hon F. Li. 424-437
- Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract)Patrice Godefroid, Didier Pirottin. 438-449
- Exploiting Symmetry In Temporal Logic Model CheckingEdmund M. Clarke, Thomas Filkorn, Somesh Jha. 450-462
- Symmetry and Model CheckingE. Allen Emerson, A. Prasad Sistla. 463-478
- Generation of Reduced Models for Checking Fragments of CTLDennis Dams, Orna Grumberg, Rob Gerth. 479-490
- A Structural Linearization Principle for ProcessesRobert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs. 491-504