Abstract is missing.
- A Determinizable Class of Timed AutomataRajeev Alur, Limor Fix, Thomas A. Henzinger. 1-13
- Real-Time System Verification using P/T NetsRoberto Gorrieri, Glauco Siliprandi. 14-26
- Criteria for the Simple Path Property in Timed AutomataWilliam K. C. Lam, Robert K. Brayton. 27-40
- Hierarchical Representations of Discrete Functions, with Application to Model CheckingKenneth L. McMillan. 41-54
- Symbolic Verification with Periodic SetsBernard Boigelot, Pierre Wolper. 55-67
- Automatic verification of Pipelined Microprocessor ControlJerry R. Burch, David L. Dill. 68-80
- Using Abstractions for the Verification of Linear Hybrid SystemsAlfredo Olivero, Joseph Sifakis, Sergio Yovine. 81-94
- Decidability of Hybrid Systems with Rectangular Differential InclusionAnuj Puri, Pravin Varaiya. 95-104
- Suspension Automata: A Decidable Class of Hybrid AutomataJennifer McManis, Pravin Varaiya. 105-117
- Verification of Context-Free Timed Systems Using Linear Hybrid ObserversAhmed Bouajjani, Rachid Echahed, Riadh Robbana. 118-131
- On the Random Walk Method for Protocol TestingMilena Mihail, Christos H. Papadimitriou. 132-141
- An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract)Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper. 142-155
- Realizability and Synthesis of Reactive ModulesAnuchit Anuchitanukul, Zohar Manna. 156-168
- Model Checking of macro ProcessesHardi Hungar. 169-181
- Methodology and System for Practical Formal Verification of Reactive HardwareIlan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli. 182-193
- Modeling and Verification of a Real Life Protocol Using Symbolic Model CheckingVivek G. Naik, A. Prasad Sistla. 194-206
- Verification of a Distributed Cache Memory by Using AbstractionsSusanne Graf. 207-219
- Beyond Model CheckingZohar Manna. 220-221
- Models Whose Checks Don t ExplodeRobert P. Kurshan. 222-233
- On the Automatic Computation of Network InvariantsFelice Balarin, Alberto L. Sangiovanni-Vincentelli. 234-246
- Ground Temporal Logic: A Logic for Hardware VerificationDavid Cyrluk, Paliath Narendran. 247-259
- A Hybrid Model for Reasoning about Composed Hardware SystemsE. Thomas Schubert. 260-272
- Composing Symbolic Trajectory Evaluation ResultsScott Hazelhurst, Carl-Johan H. Seger. 273-285
- The Completeness of a Hardware Inference SystemZheng Zhu, Carl-Johan H. Seger. 286-298
- Efficient Model Checking by Automated Ordering of Transition Relation PartitionsDaniel Geist, Ilan Beer. 299-310
- The Verifiacation Problem for Safe ReplaceabilityVigyan Singhal, Carl Pixley. 311-323
- Formula-Dependent Equivalence for Compositional CTL Model CheckingAdnan Aziz, Thomas R. Shiple, Vigyan Singhal. 324-337
- An Improved Algorithm for the Evaluation of Fixpoint ExpressionsDavid E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero. 338-350
- Incremental Model Checking in the Modal Mu-CalculusOleg Sokolsky, Scott A. Smolka. 351-363
- Performance Improvement of State Space Exploration by Regular & Diffrential Hashing FunctionsBernard Cousin, Jean-Michel Hélary. 364-376
- Combining Partial Order Reductions with On-the-fly Model-CheckingDoron Peled. 377-390
- Improving Language Containment Using Fairness GraphsRamin Hojati, Robert B. Mueller-Thuns, Robert K. Brayton. 391-403
- A Parallel Algorithm for Relational Coarsest Partition Problems and Its ImplementationInsup Lee, Sanguthevar Rajasekaran. 404-414
- Another Look at LTL Model CheckingEdmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi. 415-427
- The Mobility Workbench - A Tool for the pi-CalculusBjörn Victor, Faron Moller. 428-440
- Compositional Semantics of ESTEREL and Verification by Compositional ReductionsRobert de Simone, Annie Ressouche. 441-454
- Model Checking Using Adaptive State and Data AbstractionDennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann. 455-467
- Automatic Verification of Timed CircuitsTomas Rokicki, Chris J. Myers. 468-480