M.Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proc. 1st Symp. on Logic in Computer Science, pages 332--344, Cambridge, June 1986. Home/Search Document Not in Database 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.
M.Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proc. 1st Symp. on Logic in Computer Science, pages 332--344, Cambridge, June 1986.
Automata-Theoretic Model Checking Revisited - Vardi Self-citation (Vardi) (Correct)
No context found.
M.Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proc. 1st Symp. on Logic in Computer Science, pages 332--344, Cambridge, June 1986.
Automata-Theoretic Techniques for Temporal Reasoning - Vardi (2006) Self-citation (Vardi) (Correct)
No context found.
M.Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proc. 1st Symp. on Logic in Computer Science, pages 332--344, Cambridge, June 1986.
Symbolic Systems, Explicit Properties: on Hybrid.. - Sebastiani, Tonetta.. Self-citation (Vardi) (Correct)
No context found.
M.Y. Vardi and P. Wolper. An Automata-Theoretic Approach to Automatic Program Verification. In LICS, pp 332--344, 1986.
Model Checking for Database Theoreticians - Moshe Vardi Rice Self-citation (Vardi) (Correct)
No context found.
M.Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proc. 1st Symp. on Logic in Computer Science, pages 332--344, Cambridge, June 1986.
Relating Word and Tree Automata - Orna Kupferman Bell (1996) (3 citations) Self-citation (Vardi) (Correct)
No context found.
M.Y. Vardi and P. Wolper. An automatatheoretic approach to automatic program verification. In Proceedings of the First Symposium on Logic in Computer Science, pages 322--331, Cambridge, June 1986.
Efficient LT L Compilation for SAT -based Model Checking - Roy Armoni Sergey Self-citation (Vardi) (Correct)
No context found.
M.Y. Vardi, P. Wolp r, An Automa ta -Theoretic Approa ch to Automa tic Progra m Verifica tion , Proc. Symp. on Logic in Comput r Sci nc , pp. 332-344, Jun , 1986
Model Checking of Unrestricted Hierarchical State Machines - Exte Nd Ed (Correct)
No context found.
M.Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proceedings of the First Symposium on Logic in Computer Science, pages 322--331, Cambridge, June 1986.
Model Checking of - Unrestricted Hierarchical State (Correct)
No context found.
M.Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proceedings of the First Symposium on Logic in Computer Science, pages 322--331, Cambridge, June 1986.
Liveness Checking as Safety Checking for Infinite State Spaces - Schuppan, Biere (2005) (1 citation) (Correct)
No context found.
Vardi, M. and P. Wolper, An automata-theoretic approach to automatic program verification, in: LICS'86 (1986), pp. 332--344.
LiQuor: A tool for Qualitative and Quantitative Linear.. - Reactive Systems Frank (Correct)
No context found.
M. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification (preliminary report). Proc. LICS'86, pages 332--344, 1986. 2
Shortest Counterexamples for Symbolic Model Checking of LTL.. - Schuppan, Biere (2005) (1 citation) (Correct)
No context found.
M. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In LICS'86, pages 332--344. IEEE Computer Society, 1986.
Liveness Checking as Safety Checking for Infinite State Spaces - Schuppan, Biere (2005) (1 citation) (Correct)
No context found.
Vardi, M. and P. Wolper, An automata-theoretic approach to automatic program verification, in: LICS'86 (1986), pp. 332--344.
Symbolic Model Checking for Probabilistic Processes - Christel Baier Edmund (1997) (31 citations) (Correct)
No context found.
M. Vardi, P. Wolper. An Automata-Theoretic Approach to Automatic Program Verification. In Proc. LICS'86, pp 332-344, IEEE Computer Society Press, 1986.
Completeness and Complexity of Bounded Model Checking - Clarke, Kroening.. (2004) (2 citations) (Correct)
No context found.
M.Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program veri cation. In Proc. First IEEE Symp. Logic in Comp. Sci., pages 332-344, 1986.
Compositional Model Checking - Clarke Long Mcmillan (111 citations) (Correct)
No context found.
M. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proceedings of the Conference on Logic in Computer Science, Boston, Mass., June 1986. 18
Establishing Qualitative Properties for - Probabilistic Lossy Channel (Correct)
No context found.
M. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. LICS '86, pages 332--345, 1986.
PROBMELA: a modeling language for communicating.. - Baier, Ciesinski, Größer (2004) (Correct)
No context found.
M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. Proc. LICS'86, pages 332--344, 1986. A Proof sketch for Theorem 1 We first observe that it suffices to show that if P is finitestate then
Electronic Notes in Theoretical Computer Science 21 (1999) - Url Http Www (Correct)
No context found.
M. Vardi, P. Wolper. An automata-theoretic approach to automatic program verification, In Proc. LICS'86, pages 332--344, 1986. 19
On Probabilistic Computation Tree Logic - Ciesinski, Größer (2003) (1 citation) (Correct)
No context found.
Moshe Y. Vardi and Pierre Wolper. An automata-theoretic approach to automatic program veri cation (preliminary report). In Proceedings, Symposium on Logic in Computer Science, pages 332344, Cambridge, Massachusetts, 1618 June 1986. IEEE Computer Society.
Model Checking Games - For The Alternation-Free (Correct)
No context found.
M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Symposium on Logic in Computer Science (LICS '86), pages 332--345, Washington, D.C., USA, June 1986. IEEE Computer Society Press.
Model Checking Probabilistic Distributed - Systems Benedikt Bollig (Correct)
No context found.
M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Symposium on Logic in Computer Science (LICS'86), pages 332--345, Washington, D.C., USA, June 1986. IEEE Computer Society Press. 14
Quantitative Analysis of Distributed Randomized Protocols - Baier, Ciesinski, Groesser (2005) (Correct)
No context found.
M. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification (preliminary report). LICS'86, pages 332--344, IEEE Computer Society Press, 1986.
Checking Language Inclusion On-the-Fly with the.. - Gallasch.. (2005) (Correct)
No context found.
M. Y. Vardi and P. Wolper. An Automata-Theoretic Approach to Automatic Program Verification. In Proceedings of 1st Symposium on Logic in Computer Science, Cambridge, USA, pages 332--344. IEEE Computer Society Press, 1986.
Model Checking for Dynamic Allocation and Deallocation.. - Distefano, Rensink.. (2002) (3 citations) (Correct)
No context found.
M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In LICS'86, pp. 332--344, IEEE CS Press, 1986.
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