Ilan Beer, Shoham Ben-David, Cindy Eisner, and Yoav Rodeh. Efficient detection of vacuity in temporal model checking. Formal Methods in System Design, 18(2):141-- 163, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Submitted to the Department of Electrical Engineering and.. - Science In Partial (Correct)
No context found.
Ilan Beer, Shoham Ben-David, Cindy Eisner, and Yoav Rodeh. Efficient detection of vacuity in temporal model checking. Formal Methods in System Design, 18(2):141-- 163, 2001.
Debugging Overconstrained Declarative Models Using.. - Ilya Shlyakhter Mit (2003) (Correct)
No context found.
I. Beer, S. Ben-David, C. Eisner, and Y. Rodeh. Efficient detection of vacuity in temporal model checking. Formal Methods in System Design, 18(2):141--163, 2001.
Debugging Overconstrained Declarative Models Using .. - Shlyakhter.. (2003) (Correct)
No context found.
I. Beer, S. Ben-David, C. Eisner, and Y. Rodeh. Efficient detection of vacuity in temporal model checking. Formal Methods in System Design, 18(2):141--163, 2001.
Model Checking and Evidence Exploration - Dong, Ramakrishnan, Smolka (2003) (1 citation) (Correct)
No context found.
I. Beer, S. Ben-David, C. Eisner, and Y. Rodeh. Efficient detection of vacuity in temporal model checking. Formal Methods in System Design, 18(2):141-- 163, Mar. 2001.
Debugging Overconstrained Declarative Models Using .. - Shlyakhter.. (2003) (Correct)
No context found.
I. Beer, S. Ben-David, C. Eisner, and Y. Rodeh. Efficient detection of vacuity in temporal model checking. Formal Methods in System Design, 18(2):141--163, 2001.
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