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 Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Program Model Checking as a New Trend - Havelund, Visser (2000) (1 citation) (Correct)
....of the various components, and are hence extremely di#cult to test using traditional testing techniques. The many ways components can interact usually leads to a large search space, and model checkers typically incorporate various techniques for conquering this complexity. The SPIN model checker [36], for which Gerard Holzmann recently received the ACM Software System Award, has a large user community, and the SPIN workshop is a forum for this community, and generally for researchers with interest in automata based, explicit state model checking technologies for the analysis and verification ....
Gerard J. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--295, May 1997. Special issue on Formal Methods in Software Practice.
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) Self-citation (Engineering) (Correct)
No context found.
Gerard J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, May 1997. Special Issue: Formal Methods in Software Practice.
Büchi Complementation Made Tighter - Friedgut, Kupferman, Vardi (2004) Self-citation (May) (Correct)
No context found.
G.J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279-295, May 1997. Special issue on Formal Methods in Software Practice.
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) Self-citation (Engineering) (Correct)
No context found.
Gerard J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, May 1997. Special Issue: Formal Methods in Software Practice.
Exploring Filesystem Synchronization with - Lightweight Modeling And Self-citation (Engineering) (Correct)
No context found.
G. J. Holzmann. The model checker spin. IEEE Transactions on Software Engineering, Special Issue on Formal Methods in Software Practice, 23(5), May 1997.
The Parallel PV Model-Checker - Palmer, Gopalakrishnan Self-citation (Checker) (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--295, May 1997. Special issue on Formal Methods in Software Practice.
Exploring the Design of an Intentional Naming Scheme - With An Automatic (Correct)
No context found.
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.
Automata-Theoretic Model Checking Revisited - Vardi (Correct)
No context found.
G.J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279-- 295, May 1997. Special issue on Formal Methods in Software Practice.
Int J STTT (2000) 2: 394--409 2000 Springer-Verlag.. - Protocol Giop Using (Correct)
No context found.
Holzmann, G.J.: The model checker Spin. IEEE Trans. on Software Engineering 23(5): 279--295, May 1997. Special issue on Formal Methods in Software Practice
Experiments with Deterministic ω-Automata for Formulas.. - Klein, Baier (2005) (Correct)
No context found.
Holzmann, G.J.: The Model Checker Spin. IEEE Trans. on Software Engineering 23 (1997) 279--295 Special issue on Formal Methods in Software Practice.
Büchi Complementation: A Forty-Year Saga - Vardi (2006) (Correct)
No context found.
G.J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279-- 295, May 1997. Special issue on Formal Methods in Software Practice.
Model Checking for Database Theoreticians - Moshe Vardi Rice (Correct)
No context found.
G.J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279-- 295, May 1997. Special issue on Formal Methods in Software Practice.
Directed Explicit-State Model Checking in the.. - Edelkamp, Leue.. (2002) (3 citations) (Correct)
No context found.
G. J. Holzmann. The model checker Spin. IEEE Transactions on Software Engineering, 23(5):279--295, May 1997. Special issue on Formal Methods in Software Practice.
Jeeg: Temporal Constraints for the Synchronization of.. - Milicia, al. (2003) (Correct)
No context found.
G.J.Holzmann. ThemodelcheckerSPIN. IEEE Transactions on Software Engineering, 23(5):279--295, May 1997. Special Issue: Formal Methods in Software Practice.
Directed Explicit-State Model Checking in the.. - Edelkamp, Leue.. (2004) (3 citations) (Correct)
No context found.
Holzmann, G.J.: The model checker Spin. IEEE Transactions on Software Engineering, Special issue on Formal Methods in Software Practice, 23(5):279--295, May 1997
Efficient Monitoring of Safety Properties - Havelund, Rosu (2002) (1 citation) (Correct)
No context found.
G. J. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--295, May 1997. Special issue on Formal Methods in Software Practice.
A Symbolic Partial Order Reduction Algorithm for.. - Bhattacharya.. (2003) (Correct)
No context found.
G. J. Holzmann. The model checker spin. IEEE Transactions on Software Engineering, 23(5):279--295, May 1997. Special issue on Formal Methods in Software Practice.
Coverage Metrics for Formal Verification - Chockler, Kupferman, Vardi (2003) (Correct)
No context found.
G.J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279--295, May 1997. Special issue on Formal Methods in Software Practice.
Minimization of counterexamples in SPIN - Paul Gastin Pierre (2004) (3 citations) (Correct)
No context found.
G. Holzmann. The model checker spin. IEEE Trans. on Software Engineering, 23(5):279--295, May 1997. Special issue on Formal Methods in Software Practice.
Jeeg: Temporal Constraints for the Synchronization of.. - Milicia, Sassone (2003) (Correct)
No context found.
G.J.Holzmann. ThemodelcheckerSPIN. IEEE Transactions on Software Engineering, 23(5):279--295, May 1997. Special Issue: Formal Methods in Software Practice.
Verifying ω-Regular Properties of Markov Chains - Bustan, Rubin, Vardi (Correct)
No context found.
G.J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279-- 295, May 1997. Special issue on Formal Methods in Software Practice.
Automated Verification: Graphs, Logic, and Automata - Moshe Vardi Rice (Correct)
No context found.
G.J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279-- 295, May 1997. Special issue on Formal Methods in Software Practice.
A Partial Order Reduction Algorithm without the Proviso - Nalumasu, Gopalakrishnan (1998) (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--295, May 1997. Special issue on Formal Methods in Software Practice.
Tools Day - Cerna (2002) (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--295, May 1997. Special issue on Formal Methods in Software Practice.
Combining Static Analysis and Model Checking for Software.. - Guillaume Brat Kestrel (2001) (2 citations) (Correct)
No context found.
G. Holzmann. The Model Checker Spin. IEEE Trans. on Software Engineering, 23(5):279--295, May 1997. Special issue on Formal Methods in Software Practice.
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