|
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
|
|
|
Runtime Efficient State Compaction in
– Geldenhuys And Pja, J Geldenhuys, Pja De Villiers
|
|
1
|
A Symbolic Partial Order Reduction Algorithm for Rule Based Transition Systems
– Ganesh Gopalakrishnan, Ritwik Bhattacharya, Ritwik Bhattacharya, Steven German, Steven German
- 2003
|
|
3
|
Nested Emptiness Search for Generalized Büchi Automata
– Ab Teknillinen Korkeakoulu, Tekniska Hgskolan, Universite De, Heikki Tauriainen, Heikki Tauriainen, Heikki Tauriainen
- 2003
|
|
3
|
Reduction and Abstraction Techniques for Model Checking
– Radek Pelánek
- 2006
|
|
|
Bridging the Gap between Enumerative and Symbolic Model Checkers
– Stefan Blom, Jaco van de Pol, Michael Weber
|
|
|
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
|
|
6
|
Fighting state space explosion: Review and evaluation
– Radek Pelánek
- 2008
|
|
|
Adaptive Approximate State Storage
– C. Dillinger
|
|
|
Lecture Notes "Systemvalidation " (course 214012)
– unknown authors
|
|
|
Designing Interaction Systems for Distributed Applications
– João Paulo Almeida, Centre For Telematics, Information Technology
- 2005
|
|
|
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
|
|
|
CISE Educational Infrastructure: Laboratories for Data Communications and Computer Networks
– Raj Jain, Ten H. Lai
|
|
|
Structured operational semantics of χ
– V. Bos, J. J. T. Kleijn
- 1999
|
