Edmund Clarke, Muralidhar Talupur, and Dong Wang. SAT based Predicate Abstraction for Hardware Verification. In Sixth International Conference on Theory and Applications of Satisfiability Testing, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Making Predicate Abstraction Efficient: - How To Eliminate Self-citation (Clarke Talupur Wang) (Correct)
No context found.
Edmund Clarke, Muralidhar Talupur, and Dong Wang. SAT based Predicate Abstraction for Hardware Verification. In Sixth International Conference on Theory and Applications of Satisfiability Testing, 2003.
Counterexample Guided Abstraction Refinement via Program.. - Kroening, Groce, Clarke (2004) (2 citations) Self-citation (Clarke) (Correct)
No context found.
E. Clarke, M. Talupur, and D. Wang. SAT based predicate abstraction for hardware verification. In Proceedings of SAT'03, May 2003.
High Level Verification of Control Intensive Systems Using.. - Ion Edmund Clarke (2003) Self-citation (Clarke Talupur Wang) (Correct)
No context found.
Edmund Clarke, Muralidhar Talupur, and Dong Wang. SAT based Predicate Abstraction for Hardware Verification. In Sixth International Conference on Theory and Applications of Satisfiability Testing, 2003.
Predicate Abstraction of ANSI-C Programs using SAT - Clarke, Kroening, Sharygina, .. (2003) (2 citations) Self-citation (Clarke) (Correct)
No context found.
Edmund Clarke, Muralidhar Talupur, and Dong Wang. Sat based predicate abstraction for hardware verification. In Sixth International Conference on Theory and Applications of Satisfiability Testing, 2003.
Making Predicate Abstraction Efficient: How to.. - Clarke, Grumberg.. Self-citation (Clarke Talupur Wang) (Correct)
No context found.
Edmund Clarke, Muralidhar Talupur, and Dong Wang. SAT based Predicate Abstraction for Hardware Verification. In Sixth International Conference on Theory and Applications of Satisfiability Testing, 2003.
Predicate Abstraction with Minimum Predicates - Chaki, Clarke, Groce, Strichman (2003) (2 citations) Self-citation (Clarke) (Correct)
....it can be used to prove the correctness (or incorrectness) of a property with only partial information about the reachable states of the system. This facilitates the veri cation of systems larger than would otherwise be possible. Predicate abstraction has been used widely [12] both for hardware [8] and software [2, 13] veri cation. In this article we focus on its application to the veri cation of C programs. Veri cation of programs typically concentrates on the control ow of the program (e.g. checking if a particular control point is reachable) rather than on the data manipulated by ....
E. Clarke, M. Talupur, and D. Wang. SAT based Predicate Abstraction for Hardware Veri cation. Technical Report CMU-ECE-CSSI 02-45, Carnegie Mellon University, ECE Department, 2002.
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