State Space Compression in SPIN with GETSs (1996)

by J.-Ch. Gregoire
Venue:Proc. Second SPIN Workshop, Rutgers Univ
Citations:9 - 0 self

Active Bibliography

12 Memory Efficient State Storage in SPIN – Willem Visser - 1996
Int J STTT (2000) 2: 394--409 2000 Springer-Verlag Formalization and validation of the General Inter-ORB – Protocol Giop Using, Moataz Kamel, Stefan Leue - 2000
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Data Decision Diagrams for ProMeLa Systems Analysis – Vincent Beaudenon, Emmanuelle Encrenaz, Sami Taktak
Runtime Efficient State Compaction in – Geldenhuys And Pja, J Geldenhuys, Pja De Villiers
1 Runtime Efficient State Compaction in SPIN – J. Geldenhuys, P.J.A. de Villiers, Pja De Villiers - 1999
1 A Symbolic Partial Order Reduction Algorithm for Rule Based Transition Systems – Ganesh Gopalakrishnan, Ritwik Bhattacharya, Ritwik Bhattacharya, Steven German, Steven German - 2003
Assist. Prof. – Istemi Ekin Akku¸s, Öznur Özkasap (advisor, Prof A. Murat Tekalp, Assist Prof, F. Sibel Salman
Prepared By: – Mr. Harold, D. Coleman, Grants Officer, Mr. Nelson, H. Keeler, Nasa Iv, Ken Mcgill, Christina Moats, Brian J. Taylor, Marjorie Darrah - 2002
3 High level petri nets analysis with Helena – Sami Evangelista - 2005
Adaptive Approximate State Storage – C. Dillinger
4 Reduction and Abstraction Techniques for Model Checking – Radek Pelánek - 2006
7 Fighting state space explosion: Review and evaluation – Radek Pelánek - 2008
2 Bridging the Gap between Enumerative and Symbolic Model Checkers – Stefan Blom, Jaco van de Pol, Michael Weber
5 Nested Emptiness Search for Generalized Büchi Automata – Heikki Tauriainen - 2003
Lecture Notes "Systemvalidation " (course 214012) – unknown authors
UML MODEL MATURITY AND COMPONENT INTEGRATION TEST-CASE GENERATION – Robert W. Chandler, Robert W. Chandler - 2004
Simulation guiding and validation using dependence – O. Catrina, S. Budkowski
System verification techniques – James Davis
A Secure Programming Paradigm for Network Virtualization (Invited Paper) – Ana Milanova, Sonia Fahmy, David Musser, Bulent Yener