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.
Automatic Verification of Deontic Interpreted Systems by.. - Raimondi, Lomuscio (2004) (Correct)
No context found.
G. J. Holzmann, `The model checker spin', IEEE transaction on software engineering, 23(5), (May 1997).
A Top-Down Approach to Modeling Global Behaviors of Web Services - Fu, Bultan, Su (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. IEEE
Linear Reachability Problems and Minimal Solutions to Linear.. - Xie, Li, Dang (2004) (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. TSE, 23(5):279--295, May 1997.
New Complexity Results for Some Linear Counting Problems Using .. - Xie, Li, Dang (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. TSE, 23(5):279--295, May 1997.
Event-Based Runtime Checking of Timed LTL - Kristoffersen, Pedersen, Andersen (Correct)
No context found.
G. Holzmann. The Model Checker SPIN. IEEE Trans. on Software Engineering, Vol. 23, No. 5, May 1997, pp. 279-295.
Design Validation of Embedded Dependable Systems - Bondavalli, al. (2001) (Correct)
No context found.
G. Holzmann, "The Model Checker SPIN," IEEE Trans. Software Eng., vol. 23, no 5, 1997, pp. 279-295.
Formal JVM Code Analysis in JavaFAN - Azadeh Farzan Jose (2004) (1 citation) (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. Software Eng., 23(5):279 -- 295, 1997.
Verifying Time Partitioning in the DEOS Scheduling Kernel - Penix, Visser, Park, al. (2004) (Correct)
No context found.
G. Holzmann. The model checker SPIN. IEEE TSE, 23(5):279-295, 1997.
Modeling Hardware Systems with Complex Clock.. - Sgm Formal Verifier (Correct)
No context found.
Gerard J. Holzmann. The model checker SPIN. Software Engineering, 23(5):279--295, 1997.
Compositional Analysis for Verification of Parameterized.. - Basu, Ramakrishnan (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. IEEE TSE, 1997.
Unknown - Model Checking Tool (Correct)
No context found.
G.J. Holzmann. The model checker SPIN. IEEE Trans. Software Engineering, 23(5):279--295, 1997. 6
Breaking Up is Hard to Do: An Investigation of.. - Cobleigh, Avrunin.. (2004) (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279--295, May 1997.
Model-based Automated Analysis for Dependable Interactive Systems - Loer (2003) (1 citation) (Correct)
No context found.
Holzmann, G. (1997). The Model Checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--295.
Certifying Compositional Model Checking Algorithms in ACL2 - Ray, Matthews, Tuttle (2003) (Correct)
No context found.
G. J. Holzmann. The Model Checker Spin. IEEE Trans. on Software Engineering, 23(5):279-295, May 1997.
Static Analysis Versus Software Model Checking for Bug Finding - Engler, Musuvathi (2004) (4 citations) (Correct)
No context found.
Holzmann, G.J.: The model checker SPIN. Software Engineering 23 (1997) 279{ 295
An Approach to Model and Validate Publish/Subscribe.. - Zanolin, Ghezzi, Baresi (2003) (1 citation) (Correct)
No context found.
G.J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279--295, May 1997.
Debugging Overconstrained Declarative Models Using .. - Shlyakhter.. (2003) (Correct)
No context found.
G. Holzmann. The model checker spin. IEEE Trans. on Software Engineering, 23(5):279--295, 1997.
TRP ++ : A temporal resolution prover - Hustadt, Konev (Correct)
No context found.
G. J. Holzmann. The model checker Spin. IEEE Trans. on Software Engineering, 23(5):279--295, 1997.
Parallel Breadth-First Search LTL Model-Checking - Jir Barnat Lubos (2003) (1 citation) (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. Software Engineering, 23(5):279--295, 1997.
Directed Error Detection in C++ with the Assembly-Level.. - Leven, Mehler, Edelkamp (2004) (Correct)
No context found.
G. J. Holzmann. The Model Checker SPIN. Software Engineering, 23(5):279-- 295, 1997.
Events in PropertyPatterns - Marsha Chechik And (1999) (5 citations) (Correct)
No context found.
G.J. Holzmann. "The Model Checker SPIN". IEEE Transactions on Software Engineering, 23(5):279--295, May 1997.
An Automata-based Approach to Property Testing in Event.. - Hallal, Boroday.. (2003) (Correct)
No context found.
G.J. Holzmann. "The Model Checker SPIN". IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
Visual Automated Model Transformation - Varro (2001) (Correct)
No context found.
G. Holzmann: "The model checker SPIN". IEEE Transactions on Software Engineering, 23 279-295, (1997).
An Approach To Combining B and Alloy - Leonid Mikhailov And (2002) (4 citations) (Correct)
No context found.
G. J. Holzmann. The model checker spin. IEEE Trans. on Software Engineering, 23(5):279--295, May 1997.
Utilizing Formal Assertions for System Design of.. - Chen, Luo, Hsieh.. (2004) (Correct)
No context found.
G. J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279--258, May 1997.
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