Clarke EM, Grumberg O, Long DE (1994) Model checking and abstraction. In: ACM trans programming lang syst 16(5):1512--1542 Home/Search Document Details and Download
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., Grumberg O. and Long D. E. [1994a], `Model checking and abstraction', ACM Transactions on Programming Languages and Systems 16(5), 1512-1542. also in 19th ACM POPL '92.
Making Predicate Abstraction Efficient: - How To Eliminate Self-citation (Clarke Grumberg) (Correct)
No context found.
E. Clarke, O. Grumberg, and D. Long. Model checking and abstraction. In Proc. of the 19th Annual Symposium on Principles of Programming Languages, pages 343--354, 1992.
Microprocessor Using Symbolic Model Checking without BDDs - Armin Biere Edmund Self-citation (Clarke) (Correct)
No context found.
E. M. Clarke, O. Grumberg, and D. E. Long. Model checking and abstraction. In Proc. 19th Ann. ACM Symp. on Principles of Prog. Lang., Jan., 1992. 66, 70
Ecient Veri - Cation Of Sequential Self-citation (Clarke) (Correct)
No context found.
E. M. Clarke, O. Grumberg, and D. E. Long. Model checking and abstraction. Proceedings of TOPLAS, pages 1512-1542, September 1994.
Predicate Abstraction of - Ansi--C Programs Using Self-citation (Clarke) (Correct)
No context found.
E.M. Clarke, O. Grumberg, and D.E. Long. Model checking and abstraction. In Principle of Programming Languages, January 1992.
Counterexample Guided Abstraction Refinement via Program.. - Kroening, Groce, Clarke (2004) (2 citations) Self-citation (Clarke) (Correct)
No context found.
E. Clarke, O. Grumberg, and D. Long. Model checking and abstraction. In POPL, January 1992.
High Level Verification of Control Intensive Systems Using.. - Ion Edmund Clarke (2003) Self-citation (Clarke Grumberg) (Correct)
No context found.
E. Clarke, O. Grumberg, and D. Long. Model checking and abstraction. In POPL, pages 343--354, 1992.
Modular Verification of Software Components in C - Chaki, Clarke, Groce, Jha.. (2004) (26 citations) Self-citation (Clarke) (Correct)
No context found.
E. M. Clarke, O. Grumberg, and D. E. Long, "Model checking and abstraction," ACM Transactions on Programming Languages and System (TOPLAS), vol. 16, no. 5, pp. 1512--1542, September 1994.
Efficient Verification of Sequential and Concurrent C.. - Chaki, Clarke, Groce, .. (2004) (1 citation) Self-citation (Clarke) (Correct)
No context found.
Clarke, E. M., O. Grumberg, and D. E. Long: 1994, `Model Checking and Abstraction'. Proceedings of TOPLAS pp. 1512--1542.
Predicate Abstraction of ANSI-C Programs using SAT - Clarke, Kroening, Sharygina, .. (2003) (2 citations) Self-citation (Clarke) (Correct)
No context found.
E. Clarke, O. Grumberg, and D.E. Long. Model checking and abstraction. In Principle of Programming Languages, January 1992.
Formal Aspects of Computing A generalized semantics of.. - Gallardo, Merino, al. (2004) (Correct)
No context found.
Clarke EM, Grumberg O, Long DE (1994) Model checking and abstraction. In: ACM trans programming lang syst 16(5):1512--1542
AbstractBDDs: - Technique For Using (Correct)
No context found.
E. M. Clarke, O. Grumberg, D. E. Lo ng, "Mo del Checking and Abstractio n", AC Transactions on Programming Languages andSystem (TOPLAS), Vol.16, No.5, pp.1512-1542, Sept. 1994.
Simulation for Continuous-Time Markov Chains - Baier, Katoen, Hermanns.. (2002) (4 citations) (Correct)
No context found.
E. Clarke, M. Brown and O. Grumberg. Model checking and abstraction. ACM Tr. on Progr. Lang. and Sys., 16(5): 1512--1542, 1994.
Don't Know in Probabilistic Systems - Harald Fecher Martin (Correct)
No context found.
E. Clarke, O. Grumberg, and D. Long. Model Checking and Abstraction. In Proc. of POPL, pages 342--354, New York, January 1992. ACM.
Network Invariants for Real-Time Systems - Grinchtein, Leucker (2003) (Correct)
No context found.
Clarke, E. M., O. Grumberg and D. Long, Model checking and abstraction, in: POPL92, 1992.
Network Invariants for Real-Time Systems - Grinchtein, Leucker (2003) (Correct)
No context found.
Clarke, E., O. Grumberg and D. Long, Model Checking and Abstraction, in: Proceedings of the 19th Annual ACM Symposium on Principles of Programming Languages, ACM, New York, 1992, pp. 342--354.
Managing Verification Activities Using SVM - Aldrich, Fehnker, Feiler, Han.. (Correct)
No context found.
E.M. Clarke, O. Grumberg, and D.E. Long. Model checking and abstraction. In Nineteenth Annual ACM Symposium on Principles of Programming Languages, 1992.
Factorising Temporal Specifications - Huisman, Trentelman (2005) (Correct)
No context found.
Clarke, E., Grumberg, O. & Long, D. (1994), `Model checking and abstraction', ACM Transactions on Programming Languages and Systems 16(5), 1512-- 1542.
From Discrete Duration Calculus to Symbolic Automata - Gonnord, Halbwachs, Raymond (2004) (1 citation) (Correct)
No context found.
E. M. Clarke, O. Grumberg, and D. E. Long. Model checking and abstraction. ACM TOPLAS, 16(5):1512--1542, 1994.
Three-Valued Abstractions of Games: Uncertainty, but.. - de Alfaro, Godefroid, .. (2004) (Correct)
No context found.
E. Clarke, O. Grumberg, and D. Long. Model checking and abstraction. In Proc. 19th ACM Symp. Princ. of Prog. Lang., pages 343--354, 1992.
Multiway Decision Graphs for Automated Hardware.. - Corella, Zhou, Song.. (1996) (45 citations) (Correct)
No context found.
E. M. Clarke, O. Grumberg, and D. E. Long. Model checking and abstraction. In Proc. 19th ACM Symp. on Principles of Programming Languages, January 1992.
Software Technology Maturation Study: Model Checking Techniques.. - Poladian (2001) (Correct)
No context found.
Clarke, E. M., Grumberg, O., and Long, D. E. "Model Checking and Abstraction." In Proceedings of Principles of Programming Languages (1992).
Three-Valued Abstractions of Games: Uncertainty, but.. - de Alfaro, Godefroid, .. (2004) (Correct)
No context found.
E. Clarke, O. Grumberg, and D. Long. Model checking and abstraction. In Proc. 19th ACM Symp. Princ. of Prog. Lang., pages 343--354, 1992.
Model-based Automated Analysis for Dependable Interactive Systems - Loer (2003) (1 citation) (Correct)
No context found.
Clarke, E., Grumberg, O., and Long, D. (1994). Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512--1542.
Formal Verification by Symbolic Evaluation of.. - Trajectories Carl-Johan.. (Correct)
No context found.
E. M. Clarke, O. Grumberg, and D. E. Long, "Model Checking and Abstraction," Proc. 19th Annual ACM Symposium on Principles of Programming Languages, Jan., 1992. 39
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