Conferences in DBLP

Automated Technology for Verification and Analysis (atva)
2009 (conf/atva/2009)

1. 
   Verifying VLSI Circuits. [Citation Graph (, )][DBLP]
   
   
2. 
   3-Valued Abstraction for (Bounded) Model Checking. [Citation Graph (, )][DBLP]
   
   
3. 
   Local Search in Model Checking. [Citation Graph (, )][DBLP]
   
   
4. 
   Exploring the Scope for Partial Order Reduction. [Citation Graph (, )][DBLP]
   
   
5. 
   State Space Reduction of Linear Processes Using Control Flow Reconstruction. [Citation Graph (, )][DBLP]
   
   
6. 
   A Data Symmetry Reduction Technique for Temporal-epistemic Logic. [Citation Graph (, )][DBLP]
   
   
7. 
   TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets. [Citation Graph (, )][DBLP]
   
   
8. 
   CLAN: A Tool for Contract Analysis and Conflict Discovery. [Citation Graph (, )][DBLP]
   
   
9. 
   UnitCheck: Unit Testing and Model Checking Combined. [Citation Graph (, )][DBLP]
   
   
10. 
    LTL Model Checking of Time-Inhomogeneous Markov Chains. [Citation Graph (, )][DBLP]
    
    
11. 
    Statistical Model Checking Using Perfect Simulation. [Citation Graph (, )][DBLP]
    
    
12. 
    Quantitative Analysis under Fairness Constraints. [Citation Graph (, )][DBLP]
    
    
13. 
    A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
14. 
    Memory Usage Verification Using Hip/Sleek. [Citation Graph (, )][DBLP]
    
    
15. 
    Solving Parity Games in Practice. [Citation Graph (, )][DBLP]
    
    
16. 
    Automated Analysis of Data-Dependent Programs with Dynamic Memory. [Citation Graph (, )][DBLP]
    
    
17. 
    On-the-fly Emptiness Check of Transition-Based Streett Automata. [Citation Graph (, )][DBLP]
    
    
18. 
    On Minimal Odd Rankings for Büchi Complementation. [Citation Graph (, )][DBLP]
    
    
19. 
    Specification Languages for Stutter-Invariant Regular Properties. [Citation Graph (, )][DBLP]
    
    
20. 
    Incremental False Path Elimination for Static Software Analysis. [Citation Graph (, )][DBLP]
    
    
21. 
    A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. [Citation Graph (, )][DBLP]
    
    
22. 
    Don't Know for Multi-valued Systems. [Citation Graph (, )][DBLP]
    
    
23. 
    Logahedra: A New Weakly Relational Domain. [Citation Graph (, )][DBLP]
    
    
24. 
    Synthesis of Fault-Tolerant Distributed Systems. [Citation Graph (, )][DBLP]
    
    
25. 
    Formal Verification for High-Assurance Behavioral Synthesis. [Citation Graph (, )][DBLP]
    
    
26. 
    Dynamic Observers for the Synthesis of Opaque Systems. [Citation Graph (, )][DBLP]
    
    
27. 
    Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation. [Citation Graph (, )][DBLP]
    
    
28. 
    LTL Model Checking for Recursive Programs. [Citation Graph (, )][DBLP]
    
    
29. 
    On Detecting Regular Predicates in Distributed Systems. [Citation Graph (, )][DBLP]