Clarke, E., E. Emerson and A. Sistla, Automatic veri cation of nite state concurrent systems using temporal logic speci cations: A practical approach, in: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, ACM, 1983, pp. 117-126. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Model Checking - Clarke, Schlingloff (2000) (755 citations) Self-citation (Clarke) (Correct)
No context found.
Clarke E. M., Emerson E. A. and Sistla A. P. [1986], `Automatic veri cation of nite{state concurrent systems using temporal logic speci cations', ACM Transactions on Programming Languages and Systems 8(2), 244-263.
Ecient Veri - Cation Of Sequential Self-citation (Clarke) (Correct)
No context found.
E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic veri cation of nitestate concurrent systems using temporal logic speci cations. ACM Transactions on Programming Languages and System (TOPLAS), 8(2):244-263, April 1986.
State/Event-based Software Model Checking - Edmund (2004) Self-citation (Clarke) (Correct)
No context found.
E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic veri cation of nite-state concurrent systems using temporal logic speci cations. ACM Transactions on Programming Languages and Systems, 8(2):244{ 263, 1986.
Efficient Verification of Sequential and Concurrent C.. - Chaki, Clarke, Groce, .. (2003) (1 citation) Self-citation (Clarke) (Correct)
No context found.
E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic veri cation of nitestate concurrent systems using temporal logic speci cations. ACM Transactions on Programming Languages and System (TOPLAS), 8(2):244-263, April 1986.
RV'02 Preliminary Version - Dynamic Event Generation (Correct)
No context found.
Clarke, E., E. Emerson and A. Sistla, Automatic veri cation of nite state concurrent systems using temporal logic speci cations: A practical approach, in: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, ACM, 1983, pp. 117-126.
Verifying Qualitative Properties of - Probabilistic Programs Benedikt (Correct)
No context found.
E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic veri cation of nite state concurrent systems using temporal logic speci cations: A practical approach. In Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, pages 117-126, Austin, Texas, January 24-26, 1983. ACM SIGACT-SIGPLAN.
Faster and Symbolic CTMC Model Checking - Katoen, Kwiatkowska, Norman.. (2001) (6 citations) (Correct)
No context found.
E. Clarke, E. Emerson and A. Sistla. Automatic veri cation of nite-state concurrent systems using temporal logic speci cations. ACM Trans. on Progr. Lang. and Sys., 8: 244-263, 1986.
Symbolic Model Checking of Probabilistic Processes .. - de Alfaro.. (2000) (5 citations) (Correct)
No context found.
E. Clarke, E. Emerson, and A. Sistla. Automatic veri cation of nite state concurrent systems using temporal logic speci cations: A practical approach. In Proceedings, 10th Annual Symp. on Principles of Programming Languages, 1983.
The Complexity of Temporal Logic Model Checking - Schnoebelen (2003) (2 citations) (Correct)
No context found.
E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic veri cation of nitestate concurrent systems using temporal logic speci cations. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
Metric Semantics for Reactive Probabilistic Processes - Norman (1997) (7 citations) (Correct)
No context found.
E.M. Clarke, E.A. Emerson and A.P. Sistla. Automatic veri cation of nitestate concurrent systems using temporal logics. In Proc. 10th ACM Symp. on Principles of Programming Languages, pages 117-126, 1983.
A Constraint-Based Approach to Open - Feature Veri Cation (Correct)
No context found.
E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic veri cation of nite-state concurrent systems using temporal logic speci cations. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
Symbolic Model Checking of Concurrent Probabilistic .. - Kwiatkowska.. (1999) (8 citations) (Correct)
No context found.
E. Clarke, E. Emerson, and A. Sistla. Automatic veri cation of nite state concurrent systems using temporal logic speci cations: A pratical approach. In Proceedings, 10th Annual Symp. on Principles of Programming Languages. ACM Press, 1983.
BTL2 and expressive completeness for ECTL+ - Rabinovich, Schnoebelen (2000) (Correct)
No context found.
E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic veri cation of nite-state concurrent systems using temporal logic speci cations. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
Model Checking CSL Until Formulae with Random Time Bounds - Kwiatkowska, Norman, Pacheco (2002) (2 citations) (Correct)
No context found.
E. Clarke, E. Emerson, and A. Sistla. Automatic veri cation of nite-state concurrent systems using temporal logic speci cations. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
Model Theoretic Syntax and Parsing: An Application to Temporal Logic - Palm (2001) (Correct)
No context found.
Clarke, E., E. Emerson and A. Sistla, Automatic veri cation of nitestate concurrent systems using temporal logic speci cations, ACM Trans. Programming Languages Systems 8 (2) (1986), pp. 244-263.
Greedy Model Checking - Williams, Rauzy (2000) (Correct)
No context found.
E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic veri cation of nite-state concurrent systems using temporal logic speci cations. ACM Transactions on Programming Languages and Systems, 8(2):244-263, April 1986.
Durations, Parametric Model-Checking in Timed Automata.. - Bruyere, Dall'Olio.. (Correct)
No context found.
E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic veri cation of nite-state concurrent systems using temporal-logic speci cations. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
On the Universal and Existential Fragments of - The Calculus Thomas (2003) (Correct)
No context found.
E. Clarke, E. Emerson, and A. Sistla. Automatic veri cation of nite-state concurrent systems using temporal-logic speci cations. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
Formal Modeling and Analysis of Power-Aware Real-Time Systems - Lee, Philippou, Sokolsky (2001) (1 citation) (Correct)
No context found.
E. Clarke, E. Emerson, and A. Prasad Sistla. Automatic veri cation of nite state concurrent systems using temporal logic speci cations. ACM Transactions on Programming Languages and Systems, 8(2), 1986.
Model Checking Expected Time and Expected Reward.. - Kwiatkowska, Norman.. (2002) (Correct)
No context found.
E. Clarke, E. Emerson, and A. Sistla. Automatic veri cation of nite-state concurrent systems using temporal logic speci cations. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
Slicing SAL - Ganesh, Saidi, Shankar (1999) (Correct)
No context found.
E.M. Clarke, E.A. Emerson, and E. Sistla. Automatic veri cation of nite state concurrent systems using temporal logic speci cation: a 14 practical approach. In 10th ACM Symposium on Principles of Programming Languages (POPL83), 1983. Complete version published in ACM TOPLAS, 8(2):244-263, April 1986.
Modal Logics and Mu-Calculi: An Introduction - Bradfield, Stirling (2001) (12 citations) (Correct)
No context found.
E. M. Clarke, E. A. Emerson and A. P. Sistla, Automatic veri cation of nite-state concurrent systems using temporal logic speci cations. ACM Trans. on Programming Languages and Systems 8 244-263 (1986).
Fair Equivalence Relations - Orna Kupferman And (Correct)
No context found.
E. Clarke, E. Emerson, and A. Sistla. Automatic veri cation of nite-state concurrent systems using temporal logic speci cations. ACM Transactions on Programming Languages and Systems, 8(2):244-263, January 1986.
Model Theoretic Syntax and Parsing: An Application to Temporal Logic - Palm (2001) (Correct)
No context found.
Clarke, E., E. Emerson and A. Sistla, Automatic veri cation of nitestate concurrent systems using temporal logic speci cations, ACM Trans. Programming Languages Systems 8 (2) (1986), pp. 244-263.
Symbolic Simulation Using Automatic Abstraction of Internal Node.. - Wilson (2001) (Correct)
No context found.
E.M.Clarke, E.A. Emerson, and A.P. Sistla. Automatic veri cation of nite-state concurrent systems using temporal logic speci cations. ACM Transactions on Programming Languages and Systems, 8(2):244- 263, 1986.
First 50 documents Next 50
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