R.P. Kurshan. Computer Aided Verification of Coordinating Processes. Princeton Univ. Press, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
An Analysis of SAT-based Model Checking - Techniques In An (2005) Self-citation (Kurshan) (Correct)
No context found.
R. Kurshan. Computer-aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton University Press, 1994.
Automata-Theoretic Model Checking Revisited - Vardi (Correct)
No context found.
R.P. Kurshan. Computer Aided Verification of Coordinating Processes. Princeton Univ. Press, 1994.
Proving That Programs Eventually Do Something Good - Ron Cook Microsoft (Correct)
No context found.
KURSHAN, R. Computer Aided Verification of Coordinating Processes. Princeton Univ. Press, 1994.
Verifying Concurrent Message-Passing - Programs With Recursive (Correct)
No context found.
Kurshan, R.P.: Computer-aided verification of coordinating processes: The automatatheoretic approach. In: Princeton University Press. (1994)
Abstraction Refinement via Inductive Learning - Alexey Loginov Thomas (Correct)
No context found.
R. Kurshan. Computer-aided Verification of Coordinating Processes. Princeton University Press, 1994.
Int J STTT (1999) 2: 279--287 1999 Springer-Verlag State.. - Clarke Grumberg Minea (Correct)
No context found.
Kurshan, R.P.: Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton, NJ: Princeton University Press, 1994
Composition Operators in Language Equations - Nina Yevtushenko Tiziano (2004) (Correct)
No context found.
R.P. Kurshan. Computer-aided verification of coordinating processes. Princeton University Press, 1994.
Lazy Shape Analysis - Beyer, Henzinger, Theoduloz (2006) (Correct)
No context found.
R.P. Kurshan. Computer-Aided Verification of Coordinating Processes. Princeton University Press, 1994.
Abstraction and Counterexample-Guided Refinement.. - Clarke, Fehnker.. (2003) (1 citation) (Correct)
No context found.
Kurshan, R.: Computer-Aided Verification of Coordinating Processes: The AutomataTheoretic Approach. Princeton University Press (1994)
Microprocessor Using Symbolic Model Checking without BDDs - Armin Biere Edmund (Correct)
No context found.
R. P. Kurshan. Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach, pages 170--172. Princeton University Press, Princeton, New Jersey, 1994. 63
Int J STTT (1999) 2: 279--287 1999 Springer-Verlag State.. - Clarke Grumberg Minea (Correct)
No context found.
Kurshan, R.P.: Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton, NJ: Princeton University Press, 1994
Verification of Hybrid Systems Based on.. - Clarke, Fehnker.. (2003) (2 citations) (Correct)
No context found.
Kurshan, R.: Computer-Aided Verification of Coordinating Processes: The AutomataTheoretic Approach. Princeton University Press (1994)
Predicate Abstraction of - Ansi--C Programs Using (Correct)
No context found.
R.P. Kurshan. Computer-aided verification of coordinating processes: the automata-theoretic approach. Princeton University Press, 1994.
Weak Muller Acceptance Conditions for Tree Automata - Torre, Murano, Napoli (Correct)
No context found.
R.P. Kurshan. Computer-aided Verification of Coordinating Processes: the automata-theoretic approach. Princeton University Press, 1994.
Enhanced Diameter Bounding via Structural Transformation - Baumgartner, Kuehlmann (2004) (Correct)
No context found.
R. P. Kurshan, Computer-Aided Verification of Coordinating Processes. Princeton University Press, 1994.
Property Checking via Structural Analysis - Baumgartner, Kuehlmann, Abraham (2002) (8 citations) (Correct)
No context found.
R. P. Kurshan, Computer-Aided Verification of Coordinating Processes. Princeton University Press, 1994.
Büchi Complementation: A Forty-Year Saga - Vardi (2006) (Correct)
No context found.
R.P. Kurshan. Computer Aided Verification of Coordinating Processes. Princeton Univ. Press, 1994.
Model Checking for Database Theoreticians - Moshe Vardi Rice (Correct)
No context found.
R.P. Kurshan. Computer Aided Verification of Coordinating Processes. Princeton Univ. Press, 1994.
Relating Word and Tree Automata - Orna Kupferman Bell (1996) (3 citations) (Correct)
No context found.
R.P. Kurshan. Computer-Aided Verification of Coordinating Processesl. Princeton Univ. Press, 1994.
Refining Abstractions of Hybrid Systems Using.. - Fehnker, Clarke, Jha.. (Correct)
No context found.
R. Kurshan. Computer-Aided Verification of Coordinating Processes: The AutomataTheoretic Approach. Princeton University Press, 1994.
Abstraction and Counterexample-Guided Refinement.. - Clarke, Fehnker.. (2003) (1 citation) (Correct)
No context found.
R. Kurshan. Computer-Aided Verification of Coordinating Processes: The AutomataTheoretic Approach. Princeton University Press, 1994.
Interacting Discrete Event Systems: Modelling, Verification.. - Abdelwahed (2002) (Correct)
No context found.
R. P. Kurshan. Computer-Aided Verification of Coordinating Processes. Princeton University Press, Princeton, New Jersey, 1994.
Counterexample Guided Abstraction Refinement via Program.. - Kroening, Groce, Clarke (2004) (2 citations) (Correct)
No context found.
R. P. Kurshan. Computer-Aided Verification of Coordinating Processes: The Automata- Theoretic Approach. Princeton University Press, 1995.
A Framework for Translating Models and - Specifications Shmuel Katz (Correct)
No context found.
R.P. Kurshan. Computer-aided Verification of Coordinating Processes. Princeton University Press, 1994.
Indexed Predicate Discovery for Unbounded System Verification - Lahiri, Bryant (2004) (1 citation) (Correct)
No context found.
R. P. Kurshan. Computer-Aided Verification of Coordinating Processes: The AutomataTheoretic Approach. Princeton University Press, 1995.
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