O. Kupferman and M.Y. Vardi. Model checking of safety properties. Formal methods in System Design, 19(3):291--314, November 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Deterministic Dynamic Monitors for Linear-Time Assertions - Armoni, Korchemny.. (2006) Self-citation (Vardi) (Correct)
No context found.
O. Kupferman and M.Y. Vardi. Model checking of safety properties. Formal methods in System Design, 19(3):291--314, November 2001.
Automata-Theoretic Model Checking Revisited - Vardi Self-citation (Vardi) (Correct)
No context found.
O. Kupferman and M.Y. Vardi. Model checking of safety properties. Formal methods in System Design, 19(3):291--314, November 2001.
From Complementation to Certification - Kupferman, Vardi (2004) Self-citation (Kupferman Vardi) (Correct)
No context found.
O. Kupferman and M.Y. Vardi. Model checking of safety properties. Formal methods in System Design, 19(3):291--314, November 2001.
SAT-based Induction for Temporal Safety Properties - Armoni, Fix, Fraer.. (2004) (1 citation) Self-citation (Vardi) (Correct)
No context found.
Kupferman, O. and M. Vardi, Model checking of safety properties, Formal methods in System Design 19 (2001), pp. 291-314.
GSTE is Partitioned Model Checking - Sebastiani, Singerman, Tonetta.. (2004) Self-citation (Vardi) (Correct)
No context found.
O. Kupferman and M.Y. Vardi. Model checking of safety properties. Formal methods in System Design, 19(3), 2001.
Liveness Checking as Safety Checking for Infinite State Spaces - Schuppan, Biere (2005) (1 citation) (Correct)
No context found.
Kupferman, O. and M. Vardi, Model checking of safety properties, Formal Methods in System Design 19 (2001), pp. 291--314.
Shortest Counterexamples for Symbolic Model Checking of LTL.. - Schuppan, Biere (2005) (1 citation) (Correct)
No context found.
O. Kupferman and M. Vardi. Model checking of safety properties. In CAV'99, volume 1633 of LNCS, pages 172--183. Springer, 1999.
Liveness Checking as Safety Checking for Infinite State Spaces - Schuppan, Biere (2005) (1 citation) (Correct)
No context found.
Kupferman, O. and M. Vardi, Model checking of safety properties, in: N. Halbwachs and D. Peled, editors, CAV'99, LNCS 1633 (1999), pp. 172--183.
Liveness Checking as Safety Checking - Biere, Artho, Schuppan (2002) (7 citations) (Correct)
No context found.
Kupferman, O. and M. Vardi, Model checking of safety properties, in: CAV, 1999.
Incremental and Complete Bounded Model Checking for Full.. - Heljanko, Junttila, Latvala (2005) (Correct)
No context found.
Kupferman, O., Vardi, M.: Model checking of safety properties. Formal Methods in System Design 19 (2001) 291--314
Experiments with Deterministic ω-Automata for Formulas.. - Klein, Baier (2005) (Correct)
No context found.
Kupferman, O., Vardi, M.Y.: Model checking of safety properties. In: Computer Aided Verification (CAV'99), Proceedings. Volume 1633 of Lecture Notes in Computer Science., Springer (1999)
An Analysis of SAT-based Model Checking - Techniques In An (2005) (Correct)
No context found.
O. Kupferman and M. Vardi. Model checking of safety properties. In Formal Methods in System Design, 2001.
Generating Optimal Linear Temporal Logic Monitors by Coinduction - Sen, Rosu, Agha (2003) (Correct)
No context found.
O. Kupferman and M. Y. Vardi. Model Checking of Safety Properties. In Proceedings of the Conference on Computer-Aided Verification (CAV'99), 1999.
LTL Model Checking - Pelánek (2003) (Correct)
No context found.
O. Kupferman and M. Y. Vardi. Model checking of safety properties. Formal Methods in System Design, 19(3):291-314, 2001.
Generating Optimal Linear Temporal Logic Monitors by Coinduction - Sen, Rosu, Agha (2003) (Correct)
No context found.
O. Kupferman and M. Y. Vardi. Model Checking of Safety Properties. In Proceedings of the Conference on Computer-Aided Verification, 1999.
Generating Optimal Monitors for Extended Regular Expressions - Sen, Rosu (2003) (Correct)
No context found.
O. Kupferman and M. Y. Vardi. Model Checking of Safety Properties. In Proceedings of the Conference on Computer-Aided Verification, 1999.
Relating Hierarchy of Temporal Properties to Model Checking - Cerna, Pelanek (2002) (1 citation) (Correct)
No context found.
O. Kupferman and M. Y. Vardi. Model checking of safety properties. Formal Methods in System Design, 19(3):291--314, 2001.
Testing Extended Regular Language Membership Incrementally.. - Rosu, Viswanathan (2003) (Correct)
No context found.
O. Kupferman and M. Y. Vardi. Model Checking of Safety Properties. In Proceedings of the Conference on Computer-Aided Verification, 1999.
Monitoring Algorithms for Metric Temporal Logic Specifications - Thati, Rosu (2004) (1 citation) (Correct)
No context found.
O. Kupferman and M. Y. Vardi. Model Checking of Safety Properties. In Proceedings of the Conference on Computer-Aided Verification, Lecture Notes in Computer Science, 1999. 16
Rewriting-based Techniques for Runtime Verification - Rosu, Havelund (1 citation) (Correct)
No context found.
O. Kupferman and M. Y. Vardi. Model Checking of Safety Properties. In Proc. of CAV'99: Conference on Computer-Aided Verification, Trento, Italy, 1999.
Generating Optimal Linear Temporal Logic Monitors by Coinduction - Sen, Rosu, Agha (2004) (Correct)
No context found.
O. Kupferman and M. Y. Vardi. Model Checking of Safety Properties. In Proceedings of the Conference on Computer-Aided Verification (CAV'99), 1999.
Lazy Theorem Proving for Bounded Model Checking over In.. - de Moura, Rueß, Sorea (2002) (21 citations) (Correct)
No context found.
Orna Kupferman and Moshe Y. Vardi. Model checking of safety properties. Formal Methods in System Design, 19(3):291-314, 2001.
Efficient Model Checking of Safety Properties - Latvala (2003) (1 citation) (Correct)
No context found.
Kupferman, O., Vardi, M.: Model checking of safety properties. Formal Methods in System Design 19 (2001) 291--314
Efficient Model Checking of Safety Properties - Latvala (2003) (1 citation) (Correct)
No context found.
Kupferman, O., Vardi, M.: Model checking of safety properties. Formal Methods in System Design 19 (2001) 291--314
Simulation Logic, Applets and Compositional Verification - Sprenger, al. (2003) (Correct)
No context found.
O. Kupferman and M. Vardi. Model checking of safety properties. In CAV'99, number 1633 in LNCS, pages 172183. Springer, 1999.
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