Abstract is missing.
- Multipliers and Dividers: Insights on Arithmetic Circuits Verification (Extended Abstract)Randal E. Bryant. 1-3
- Global rebuilding of OBDDs Avoiding Memory Requirement MaximaJochen Bern, Christoph Meinel, Anna Slobodová. 4-15
- Generating BDD Models for Process Algebra TermsAshvin Dsouza, Bard Bloom. 16-30
- Hardware Verification using Monadic Second-Order LogicDavid A. Basin, Nils Klarlund. 31-41
- Verifying Safety Properties of a Class of Infinite-State Distributed AlgorithmsBengt Jonsson, Lars Kempe. 42-53
- Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem ProvingJürgen Dingel, Thomas Filkorn. 54-69
- CAVEAT: Technique and Tool for Computer Aided VErification And TransformationE. Pascal Gribomont, Didier Rossetto. 70-83
- An Integration of Model Checking with Automated Proof CheckingS. Rajan, Natarajan Shankar, Mandayam K. Srivas. 84-97
- Automatic Datapath Abstraction In Hardware SystemsRamin Hojati, Robert K. Brayton. 98-113
- Toupie = µ-Calculus + ConstraintsAntoine Rauzy. 114-126
- Safety Property Verification of ESTEREL Programs and Applications to Telecommunications SoftwareLalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen. 127-140
- Methods for Mu-calculus Model Checking: A Tutorial (Abstract)E. Allen Emerson. 141
- Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point InversionHenrik Reif Andersen, Bart Vergauwen. 142-154
- It Usually Works: The Temporal Logic of Stochastic SystemsAdnan Aziz, Vigyan Singhal, Felice Balarin. 155-165
- Local Liveness for Compositional Modeling of Fair Reactive SystemsRajeev Alur, Thomas A. Henzinger. 166-179
- Trace Theoretic Verification of Asynchronous Circuits Using UnfoldingsKenneth L. McMillan. 180-195
- From Duration Calculus To Linear Hybrid AutomataAhmed Bouajjani, Yassine Lakhnech, Riadh Robbana. 196-210
- Local Model Checking for Real-Time Systems (Extended Abstract)Oleg Sokolsky, Scott A. Smolka. 211-224
- Algorithmic Analysis of Nonlinear Hybrid SystemsThomas A. Henzinger, Pei-Hsin Ho. 225-238
- On Polynomial-Size Programs Winning Finite-State GamesHelmut Lescow. 239-252
- The Rabin Index and Chain Automata, with Applications to Automatas and GamesSriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya. 253-266
- An Automata-Theoretic Approach to Fair Realizability and SynthesisMoshe Y. Vardi. 267-278
- Supervisory Control of Finite State MachinesAdnan Aziz, Felice Balarin, Robert K. Brayton, M. D. DiBenedetto, Alexander Saldanha. 279-292
- Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic FormPatrick Cousot, Radhia Cousot. 293-308
- Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic ApproachE. Allen Emerson, A. Prasad Sistla. 309-324
- Augmenting Branching Temporal Logics with Existential Quantification over Atomic PropositionsOrna Kupferman. 325-338
- Modelling Asynchrony with a Synchronous ModelRobert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs. 339-352
- On the Model Checking Problem for Branching Time Logics and Basic Parallel ProcessesJavier Esparza, Astrid Kiehn. 353-366
- Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case StudyÁsgeir Th. Eiríksson, Kenneth L. McMillan. 367-380
- Automated Analysis of an Audio Control ProtocolPei-Hsin Ho, Howard Wong-Toi. 381-394
- Interactively Verifying a Simple Real-time SchedulerColin J. Fidge, Peter Kearney, Mark Utting. 395-408
- Verification of Real-Time Systems by Successive Over and Under ApproximationDavid L. Dill, Howard Wong-Toi. 409-422
- Efficient Timing Analysis of a Class of Petri NetsHenrik Hulgaard, Steven M. Burns. 423-436
- Verifying omega-Regular Properties for a Subclass of Linear Hybrid SystemsAhmed Bouajjani, Riadh Robbana. 437-450