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