| 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. |
....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.
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.
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.
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.
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.
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.
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.
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.
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
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.
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.
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.
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.
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.
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
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.
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.
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.
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.
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.
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.
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.
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.
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.
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