Gerard J. Holzmann. The Model Checker Spin. IEEE Transactions on Software Engineering, Special issue on Formal Methods in Software Practice, Volume 23, Number 5, May 1997, 279-295. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Program Model Checking as a New Trend - Havelund, Visser (2000) (1 citation) (Correct)
Exploring the Design of an Intentional Naming Scheme - With An Automatic (Correct)
Automata-Theoretic Model Checking Revisited - Vardi (Correct)
Int J STTT (2000) 2: 394--409 2000 Springer-Verlag.. - Protocol Giop Using (Correct)
Experiments with Deterministic ω-Automata for Formulas.. - Klein, Baier (2005) (Correct)
Büchi Complementation: A Forty-Year Saga - Vardi (2006) (Correct)
Model Checking for Database Theoreticians - Moshe Vardi Rice (Correct)
Directed Explicit-State Model Checking in the.. - Edelkamp, Leue.. (2002) (3 citations) (Correct)
Jeeg: Temporal Constraints for the Synchronization of.. - Milicia, al. (2003) (Correct)
Directed Explicit-State Model Checking in the.. - Edelkamp, Leue.. (2004) (3 citations) (Correct)
Efficient Monitoring of Safety Properties - Havelund, Rosu (2002) (1 citation) (Correct)
A Symbolic Partial Order Reduction Algorithm for.. - Bhattacharya.. (2003) (Correct)
Coverage Metrics for Formal Verification - Chockler, Kupferman, Vardi (2003) (Correct)
Minimization of counterexamples in SPIN - Paul Gastin Pierre (2004) (3 citations) (Correct)
Jeeg: Temporal Constraints for the Synchronization of.. - Milicia, Sassone (2003) (Correct)
Verifying ω-Regular Properties of Markov Chains - Bustan, Rubin, Vardi (Correct)
Automated Verification: Graphs, Logic, and Automata - Moshe Vardi Rice (Correct)
A Partial Order Reduction Algorithm without the Proviso - Nalumasu, Gopalakrishnan (1998) (Correct)
Tools Day - Cerna (2002) (Correct)
Combining Static Analysis and Model Checking for Software.. - Guillaume Brat Kestrel (2001) (2 citations) (Correct)
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) Self-citation (Engineering) (Correct)
Büchi Complementation Made Tighter - Friedgut, Kupferman, Vardi (2004) Self-citation (May) (Correct)
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) Self-citation (Engineering) (Correct)
Exploring Filesystem Synchronization with - Lightweight Modeling And Self-citation (Engineering) (Correct)
The Parallel PV Model-Checker - Palmer, Gopalakrishnan Self-citation (Checker) (Correct)
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