Abstract is missing.
- Computer-Hindered Verification (Humans Can Do It Too)Leslie Lamport. 1
- Modular Abstractions for Verifying Real-Time Distributed SystemsHana De-Leon, Orna Grumberg. 2-15
- Layering Techniques for Development of Parallel SystemsMannes Poel, Job Zwiers. 16-29
- Efficient Local Correctness CheckingKim Guldstrand Larsen. 30-43
- Mechanical Verification of Concurrent Systems with TLAUrban Engberg, Peter Grønning, Leslie Lamport. 44-55
- Using a Theorem Prover for Reasoning about Concurrent AlgorithmsJoakim von Wright, Thomas Långbacka. 56-68
- Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software VerificationMark Aagaard, Miriam Leeser. 69-81
- Higher-Level Specification and Verification with BDDsAlan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang. 82-95
- Symbolic Bisimulation MinimisationAmar Bouali, Robert de Simone. 96-108
- Towards a Verification Technique for Large Synchronous CircuitsPrabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan. 109-122
- Verifying Timed Behavior Automata with Nonbinary Delay ConstraintsDavid K. Probst, Hon F. Li. 123-136
- Timing Verification by Successive ApproximationRajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis. 137-150
- A Verification Strategy for Timing-Constrained SystemsFelice Balarin, Alberto L. Sangiovanni-Vincentelli. 151-163
- Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous CircuitsKenneth L. McMillan. 164-177
- State-Space Caching RevisitedPatrice Godefroid, Gerard J. Holzmann, Didier Pirottin. 178-191
- Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case StudySiegfried Fischer, Andreas Scholz, Dirk Taubner. 192-205
- Design Verification of a Microprocessor Using Branching Time Regular Temporal LogicKiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima. 206-219
- A Case Study in Safety-Critical DesignGlenn Bruns. 220-233
- Automatic Reduction in CTL Compositional Model CheckingThomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton. 234-247
- Compositional Model Checking for Linear-Time Temporal LogicRoope Kaivola. 248-259
- Property Preserving SimulationsSaddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis. 260-273
- Verification with Real-Time COSPANCostas Courcoubetis, David L. Dill, Magda Chatzaki, Panagiotis Tzounakis. 274-287
- Model-Checking for Real-Time Systems Specified in LotosNathalie Rico, Gregor von Bochmann, Omar Cherkaoui. 288-301
- Decidability of Bisimulation Equivalences for Parallel Timer ProcessesKarlis Cerans. 302-315
- A Proof Assistant for Symbolic Model-CheckingJulian C. Bradfield. 316-329
- Tableau RecyclingAngelika Mader. 330-342
- Crocos: An Integrated Environment for Interactive Verification of SDL SpecificationsDominique Méry, Abdelillah Mokkedem. 343-356
- Verifying General Safety and Liveness Propterties with Integer ProgrammingJames C. Corbett. 357-369
- Generating Diagnostic Information for Behavioral PreordersUfuk Celikkan, Rance Cleaveland. 370-383
- A Verification Procedure via Invariant for Extended Communicating Finite-State MachinesMasahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami. 384-395
- Efficient ::::omega::::-Regular Language ContainmentRamin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton. 396-409
- Faster Model Checking for the Modal Mu-CalculusRance Cleaveland, Marion Klein, Bernhard Steffen. 410-422