G. J. Holzmann. The Model Checker Spin. IEEE Trans. on Software Engineering, 23(5):279--295, 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
LDTA'05 Preliminary Version - Source Transformation For (Correct)
No context found.
G. J. Holzmann. The Model Checker Spin. IEEE Trans. on Software Engineering, 23(5):279--295, 1997.
Modular Verification of Code with SAT - Greg Dennis Felix (2006) (Correct)
No context found.
G. J. Holzmann. The Model Checker SPIN. In IEEE Trans. Softw. Eng., volume 23, 1997.
Math. Struct. in Comp. Science (2004), vol. 14, pp.. - Cambridge University Press (Correct)
No context found.
Holzmann, G. (1997) The model checker SPIN. IEEE Transactions on Software Engineering 23 279--295.
Execution Generated Test Cases: How to Make Systems Code Crash .. - Cadar, Engler (2005) (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. Software Engineering, 23(5):279--295, 1997.
Symbolic Model Checking of Declarative Relational Models.. - Fschang Mit Edu (2006) (Correct)
No context found.
Gerard J. Holzmann. The Model Checker SPIN. In IEEE Transactions on Software Engineering, Vol. 23, No. 5, 1997.
αSPIN: Extending SPIN with Abstraction - Gallardo, Martinez, Merino.. (2002) (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279--295, 1997.
Submitted to the Department of Electrical Engineering and.. - Science In Partial (Correct)
No context found.
G. Holzmann. The model checker spin. IEEE Trans. on Software Engineering, 23(5):279--295, 1997.
S.M. Computer Science - Massachusetts Institute Of (Correct)
No context found.
G.J. Holzmann. "The Model Checker Spin", IEEE Trans. on Software Engineering, Vol. 23, 5, May 1997.
Debugging Overconstrained Declarative Models Using.. - Ilya Shlyakhter Mit (2003) (Correct)
No context found.
G. Holzmann. The model checker spin. IEEE Trans. on Software Engineering, 23(5):279--295, 1997.
EXE: A System for Automatically Generating Inputs of.. - Cadar, Twohey.. (2006) (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. Software Engineering, 23(5):279--295, 1997.
Integration of Reliability and Performance.. - Gallardo.. (2005) (Correct)
No context found.
G.J. Holzmann. The Model Checker SPIN. IEEE Trans. on SE, 23(5), 1997.
Symbolic Model Checking for Asynchronous Boolean Programs - Cook, Kroening, Sharygina (2005) (Correct)
No context found.
Holzmann, G.: The model checker SPIN. IEEE Trans. on Software Engineering 23 (1997) 279--295
A Declarative Approach to Stateful Intrusion - Detection And Network (2004) (Correct)
No context found.
G. J. Holzmann, "The model checker SPIN," IEEE Trans. Softw. Eng., vol. 23, no. 5, pp. 279--295, 1997.
PROBMELA: a modeling language for communicating.. - Baier, Ciesinski, Größer (2004) (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. Software Engineering, 23(5):279--295, 1997.
Check and Simulate: A Case for Incorporating Model.. - Sobeih, Viswanathan, Hou (2004) (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279--295, May 1997.
Incorporating Bounded Model Checking in Network.. - Sobeih, Viswanathan, Hou (2004) (Correct)
No context found.
G. J. Holzmann, "The model checker SPIN," IEEE Trans. on Software Engineering, vol. 23, no. 5, pp. 279--295, May 1997.
Complementation Constructions for Nondeterministic Automata.. - Kupferman, Vardi (2005) (Correct)
No context found.
G.J. Holzmann. The model checker SPIN. IEEE TSE, 23(5):279--295, May 1997.
A Scalable Elimination-based Exchange Channel - III, Lea, Scott (2005) (Correct)
No context found.
G. J. Holzmann. The Model Checker SPIN. IEEE Trans. on Software Engineering, 23(5), May 1997.
Managing the Evolution of .NET Programs - Eisenbach, Jurisic, Sadler (Correct)
No context found.
G. Holzmann. The Model Checker Spin. In IEEE Transactions on Software Engineering, volume 23, 5, May 1997.
Model Checking a Knowledge Exchange - Scenario Sieuwert Van (Correct)
No context found.
G. Holzmann. The model checker Spin. IEEE Trans. on Software Engineering, 23:279--295, May 1997.
Partial-Order Reduction and Trail Improvement in.. - Edelkamp.. (2004) (2 citations) (Correct)
No context found.
Holzmann GJ (1997) The model checker Spin. IEEE Trans Softw Eng 23(5):279--295
TORA, Verification, Proofs and Model Checking - Shah-An Yang And (Correct)
No context found.
G.J. Holzmann, "The Model Checker Spin", IEEE Transactions on Software Engineering (May) : 279295, 1997.
Automatic Verification of Deontic Interpreted Systems by.. - Raimondi, Lomuscio (Correct)
No context found.
G. J. Holzmann, `The model checker spin', IEEE transaction on software engineering, 23(5), (May 1997).
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time .. - Kwon, Agha (Correct)
No context found.
Gerard J. Holzmann. The model checker spin. In IEEE Transactions on Software Engineering, volume 23, pages 279--295, May 1997.
D2.2.2 Tool set for system verification - Annex Technical Overview (Correct)
No context found.
G. J. Holzmann. The model-checker SPIN. IEEE Trans. on Software Engineering, 23(5), 1999.
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