E.M. Clarke and O. Grumberg. "Research on Automatic Verification of Finite-State Concurrent Systems". Ann. Rev. Comput. Sci. 2 (1987), 269-290. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Scheduling Workflows by Enforcing Intertask Dependencies - Attie, Singh, Emerson.. (1996) (8 citations) (Correct)
Semantics for Finite Delay - Hartonas (1997) (1 citation) (Correct)
Using Simulation Techniques to Prove Timing Properties - Luchangco (1995) (17 citations) (Correct)
An Observability-Based Code Coverage Metric for.. - Devadas, Ghosh, Keutzer (1996) (23 citations) (Correct)
Model Checking of Probabilistic Systems Against Temporal Logic.. - Kwiatkowska (1999) (Correct)
Data Flow Analysis For Verifying Correctness Properties Of.. - Dwyer (1995) (11 citations) (Correct)
A Methodology for Formal Hardware Verification, with Application.. - Beatty (1993) (11 citations) (Correct)
A Formal Model of Asynchronous Communication and Its Use in.. - Moore (1993) (15 citations) (Correct)
Modular Model Checking - Kupferman, Vardi (1998) (10 citations) (Correct)
The Underlying Semantics of Transition Systems - Crawford Goldschlag (Correct)
Hyperdocuments as Automata: Verification of Trace-based.. - David Stotts (1997) (8 citations) (Correct)
Semantics for Finite Delay - Hartonas (1997) (1 citation) (Correct)
On the Complexity of Branching Modular Model Checking.. - Kupferman, Vardi (1995) (Correct)
Model Checking and Deduction for Infinite-State Systems - Sipma, Uribe, Manna (Correct)
Effective Theorem Proving for Hardware Verification - Cyrluk, Rajan, Shankar, Srivas (1994) (29 citations) (Correct)
About the Expressive Power of CTL combinators - Laroussinie (1995) (4 citations) (Correct)
Using Temporal Logic to Control Search in a Forward Chaining.. - Bacchus, Kabanza (1995) (45 citations) (Correct)
Hyperdocuments as Automata: Trace-based Browsing Property.. - Stotts, Furuta, Ruiz (1992) (11 citations) (Correct)
Duality and the Completeness of the Modal µ-Calculus - Ambler, Kwiatkowska, Measor (Correct)
Nontraditional Applications of Automata Theory - Vardi (1994) (10 citations) (Correct)
Synchronization Trees And Fairness: A Case Study - Hartonas, Kwiatkowska (1995) (Correct)
A Formal Model of Asynchronous Communication and Its Use in.. - Moore (1992) (15 citations) (Correct)
Hyperdocuments as Automata: - Verification Of Trace-Based (Correct)
Automated Temporal Reasoning about Reactive Systems - Emerson (1996) (38 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC