Conferences in DBLP

SPIN (spin)
2008 (conf/spin/2008)

1. 
   Residual Checking of Safety Properties. [Citation Graph (, )][DBLP]
   
   
2. 
   The Case for Context-Bounded Verification of Concurrent Programs. [Citation Graph (, )][DBLP]
   
   
3. 
   Combining Static and Dynamic Reasoning for the Discovery of Program Properties. [Citation Graph (, )][DBLP]
   
   
4. 
   Using Dynamic Symbolic Execution to Improve Deductive Verification. [Citation Graph (, )][DBLP]
   
   
5. 
   Automated Evaluation of Secure Route Discovery in MANET Protocols. [Citation Graph (, )][DBLP]
   
   
6. 
   Model Checking Abstract Components within Concrete Software Environments. [Citation Graph (, )][DBLP]
   
   
7. 
   Generating Compact MTBDD-Representations from ProbmelaSpecifications. [Citation Graph (, )][DBLP]
   
   
8. 
   Dynamic Delayed Duplicate Detection for External Memory Model Checking. [Citation Graph (, )][DBLP]
   
   
9. 
   State Focusing: Lazy Abstraction for the Mu-Calculus. [Citation Graph (, )][DBLP]
   
   
10. 
    Efficient Modeling of Concurrent Systems in BMC. [Citation Graph (, )][DBLP]
    
    
11. 
    Tackling Large Verification Problems with the Swarm Tool. [Citation Graph (, )][DBLP]
    
    
12. 
    Formal Verification of a Flash Memory Device Driver - An Experience Report. [Citation Graph (, )][DBLP]
    
    
13. 
    Layered Duplicate Detection in External-Memory Model Checking. [Citation Graph (, )][DBLP]
    
    
14. 
    Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. [Citation Graph (, )][DBLP]
    
    
15. 
    Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    Resource-Aware Verification Using Randomized Exploration of Large State Spaces. [Citation Graph (, )][DBLP]
    
    
17. 
    Incremental Hashing for Spin. [Citation Graph (, )][DBLP]
    
    
18. 
    Verifying Compiler Based Refinement of BluespecTM. [Citation Graph (, )][DBLP]
    
    
19. 
    Symbolic Context-Bounded Analysis of Multithreaded Java Programs. [Citation Graph (, )][DBLP]
    
    
20. 
    Efficient Stateful Dynamic Partial Order Reduction. [Citation Graph (, )][DBLP]
    
    
21. 
    Symbolic String Verification: An Automata-Based Approach. [Citation Graph (, )][DBLP]
    
    
22. 
    Verifying Multi-threaded C Programs with SPIN. [Citation Graph (, )][DBLP]