HOLZMANN, G. J. The model checker SPIN. IEEE Transactions on Software Engineering 23, 5 (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
Proving That Programs Eventually Do Something Good - Ron Cook Microsoft (Correct)
No context found.
HOLZMANN, G. J. The model checker SPIN. IEEE Transactions on Software Engineering 23, 5 (1997), 279--295.
Bounded Model Checking for GSMP Models of Stochastic.. - Alur, Bernadsky (2006) (Correct)
No context found.
G.J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--295, 1997.
KISS: Keep It Simple and Sequential - Shaz Qadeer Microsoft (Correct)
No context found.
G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--295, May 1997.
ViBBA: A Toolbox for Automatic Model Driven - Animation Angelo Gargantini (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--295, May 1997.
Informatica 29 (2005) 219--226 219 - System Resource Utilization (Correct)
No context found.
G. J. Holzmann, The Model Checker SPIN, IEEE Transactions on Software Engineering, May 1997.
Automating the Analysis of Design Component Contracts - Dong, al. (2006) (Correct)
No context found.
Holzmann GJ. The model checker SPIN. IEEE Transactions on Software Engineering 1997; 23(5):279--295.
Automated Performance and Dependability Evaluation.. - Baier, Haverkort.. (2002) (1 citation) (Correct)
No context found.
G.J. Holzmann. The model checker Spin. IEEE Transactions on Software Engineering, 23(5): 279--295, 1997.
Analyzing Interaction Orderings with Model Checking - Matthew Dwyer Robby (Correct)
No context found.
G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--294, May 1997.
Automated Environment Generation for Software Model Checking - Tkachuk, Dwyer, Pasareanu (2003) (5 citations) (Correct)
No context found.
G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--294, May 1997.
Applying Practical Formal Methods to the Specification And.. - Heitmeyer (2001) (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--295, May 1997.
Verification of Multiagent Systems via Ordered Binary.. - Raimondi, Lomuscio (2004) (Correct)
No context found.
G. J. Holzmann. The model checker spin. IEEE transaction on software engineering, 23(5), May 1997.
A Tool For Specification And Verification Of Epistemic.. - Raimondi, Lomuscio (2004) (3 citations) (Correct)
No context found.
G. J. Holzmann. The model checker spin. IEEE transaction on software engineering, 23(5), May 1997.
Improving System Reliability Via Model Checking: The.. - Bozzano (2003) (Correct)
No context found.
G.J. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
Implementing LTL Model Checking with Net Unfoldings - Esparza, Heljanko (2001) (3 citations) (Correct)
No context found.
G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--295, 1997.
ACM International Symposium on Software Testing and.. - Korat Automated Testing (Correct)
No context found.
G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5), May 1997.
Trail-Directed Model Checking - Edelkamp, Lluch-Lafuente, Leue (2001) (6 citations) (Correct)
No context found.
G. J. Holzmann. The model checker Spin. IEEE Transactions on Software Engineering, 23(5):279--295, 1997.
Verification of Multiagent Systems via Ordered Binary.. - Raimondi, Lomuscio (2004) (Correct)
No context found.
G. J. Holzmann. The model checker spin. IEEE transaction on software engineering, 23(5), May 1997.
An Automata-theoretic Approach to Interprocedural Data-flow.. - Esparza, Knoop (1999) (27 citations) (Correct)
No context found.
G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--295, 1997.
Symbolic Model Checking of Multi-Agent Systems Using OBDDs - Raimondi, Lomuscio (Correct)
No context found.
G. J. Holzmann. The model checker spin. IEEE transaction on software engineering, 23(5), May 1997.
Behavior-Preserving Refinement Relations between Dynamic.. - Heckel, Thöne (2004) (Correct)
No context found.
G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--295, 1997.
Verification In Multi-Agent Systems - Raimondi (Correct)
No context found.
G. J. Holzmann. The model checker spin. IEEE transaction on software engineering, 23(5), May 1997.
Verification of Multiagent Systems via Ordered Binary.. - Raimondi, Lomuscio (2004) (Correct)
No context found.
G. J. Holzmann. The model checker spin. IEEE transaction on software engineering, 23(5), May 1997.
A Tool for Specification and Verification of Epistemic.. - Raimondi, Lomuscio (2003) (3 citations) (Correct)
No context found.
G. J. Holzmann. The model checker spin. IEEE transaction on software engineering, 23(5), May 1997.
Automatic Verification of Deontic Properties of Multi-Agent.. - Raimondi, Lomuscio (Correct)
No context found.
G. J. Holzmann. The model checker spin. IEEE transaction on software engineering, 23(5), May 1997.
True Anonymity without Mixes - Molina-Jimenez, Marshall (2001) (Correct)
No context found.
G. J. Holzmann. The model checker Spin. IEEE Transactions on Software Engineering, 23(5), May 1997. also available at: http://netlib.bell-labs.com/netlib/spin/whatispin.html.
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