HENZINGER, T., JHALA, R., MAJUMDAR, R., AND SUTRE, G. Lazy abstraction. In POPL'02: Principles of Programming Languages (2002), ACM Press, pp. 58--70. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Lazy Shape Analysis - Beyer, Henzinger, Theoduloz (2006) Self-citation (Henzinger) (Correct)
No context found.
T.A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Proc. POPL, pages 58--70. ACM, 2002.
Lazy Shape Analysis - Beyer, Henzinger, Theoduloz (2005) Self-citation (Henzinger) (Correct)
No context found.
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Proc. POPL, pages 58--70. ACM, 2002.
An Eclipse Plug-in for Model Checking - Beyer, Henzinger, Jhala, Majumdar (2004) Self-citation (Henzinger Jhala Majumdar) (Correct)
No context found.
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Proc. POPL, pages 58--70. ACM, 2002.
The BLAST Query Language for Software Verification - Beyer, Chlipala, Henzinger, .. (2004) Self-citation (Henzinger Jhala Majumdar) (Correct)
No context found.
T.A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Proc. POPL, pages 58--70. ACM, 2002.
Generating Tests from Counterexamples - Beyer, Chlipala, Henzinger.. (2004) (6 citations) Self-citation (Henzinger Jhala Majumdar) (Correct)
No context found.
T.A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Proc. POPL, pages 58--70. ACM, 2002.
Thomas A. Henzinger Ranjit Jhala Rupak Majumdar - Report No Ucb Self-citation (Henzinger Jhala Majumdar) (Correct)
No context found.
T.A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In POPL 02: Principles of Programming Languages, pages 58-70. ACM, 2002.
Proving That Programs Eventually Do Something Good - Ron Cook Microsoft (Correct)
No context found.
HENZINGER, T., JHALA, R., MAJUMDAR, R., AND SUTRE, G. Lazy abstraction. In POPL'02: Principles of Programming Languages (2002), ACM Press, pp. 58--70.
Verifying Concurrent Message-Passing - Programs With Recursive (Correct)
No context found.
Henzinger, T., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: POPL. (2002)
A Next-Generation Platform for Analyzing Executables - Reps Balakrishnan Lim (Correct)
No context found.
T.A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Princ. of Prog. Lang., pages 58--70, 2002.
Intermediate-Representation Recovery from Low-Level Code - Thomas Reps Gogul (Correct)
No context found.
T.A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In POPL, 2002.
WYSINWYX: What You See Is Not What You eXecute - Balakrishnan Reps Melski (Correct)
No context found.
T.A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In POPL, pages 58--70, 2002. 10
Modular Verification of Code with SAT - Greg Dennis Felix (2006) (Correct)
No context found.
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy Abstraction. In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 58--70, New York, NY, USA, 2002. ACM Press.
Symbolic Model Checking for Asynchronous Boolean Programs - Cook, Kroening, Sharygina (2005) (Correct)
No context found.
Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: POPL 02: Symposium on Principles of Programming Languages, ACM Press (2002) 58--70
KISS: Keep It Simple and Sequential - Shaz Qadeer Microsoft (Correct)
No context found.
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'02), pages 58--70. ACM Press, 2002.
Abstraction and Counterexample-Guided Refinement.. - Clarke, Fehnker.. (2003) (1 citation) (Correct)
No context found.
Henzinger, T., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: Symp. on Principles of Programming Languages, ACM Press (2002) 58--70
Verification of Hybrid Systems Based on.. - Clarke, Fehnker.. (2003) (2 citations) (Correct)
No context found.
Henzinger, T., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: Symp. on Principles of Programming Languages, ACM Press (2002) 58--70
Ecient Veri - Cation Of Sequential (Correct)
No context found.
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Proceedings of POPL, pages 58-70, 2002.
Predicate Abstraction of - Ansi--C Programs Using (Correct)
No context found.
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Symposium on Principles of Programming Languages, pages 58--70, 2002.
On Field Constraint Analysis - Wies, Kuncak, Lam, Podelski, Rinard (2006) (1 citation) (Correct)
No context found.
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 58--70, New York, NY, USA, 2002. ACM Press.
A Better Logic and Decision Procedure for Predicate.. - Rakamaric, Bingham, Hu (2006) (Correct)
No context found.
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Symp. on Principles of Programming Languages (POPL), pages 58--70, 2002.
A Logic and Decision Procedure for Predicate Abstraction of .. - Bingham, Rakamaric (2005) (1 citation) (Correct)
No context found.
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Symp. on Principles of Programming Languages (POPL), pages 58--70, 2002.
Automated Environment Generation for Software Model Checking - Tkachuk, Dwyer, Pasareanu (2003) (5 citations) (Correct)
No context found.
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Proceedings of the 29th ACM Symposium on Principles of Programming Languages, pages 58--70, Jan. 2002.
Tachio Terauchi Alex Aiken - Report No Ucb (Correct)
No context found.
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Proceedings of the 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 58--70, Portland, Oregon, Jan. 2002.
Verifying Distributed Real-time Properties of Embedded.. - Madl, Abdelwahed.. (2005) (Correct)
No context found.
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, "Lazy abstraction," in POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM Press, 2002, pp. 58--70.
Heuristic-Guided Counterexample Search in FLAVERS - Tan, Avrunin, Clarke.. (2004) (Correct)
No context found.
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 58--70, Jan. 2002.
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