Conferences in DBLP

Computer Aided Verification (CAV) (cav)
2010 (conf/cav/2010)

1. 
   Policy Monitoring in First-Order Temporal Logic. [Citation Graph (, )][DBLP]
   
   
2. 
   Retrofitting Legacy Code for Security. [Citation Graph (, )][DBLP]
   
   
3. 
   Quantitative Information Flow: From Theory to Practice? [Citation Graph (, )][DBLP]
   
   
4. 
   Memory Management in Concurrent Algorithms. [Citation Graph (, )][DBLP]
   
   
5. 
   ABC: An Academic Industrial-Strength Verification Tool. [Citation Graph (, )][DBLP]
   
   
6. 
   There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. [Citation Graph (, )][DBLP]
   
   
7. 
   Constraint Solving for Program Verification: Theory and Practice by Example. [Citation Graph (, )][DBLP]
   
   
8. 
   Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. [Citation Graph (, )][DBLP]
   
   
9. 
   Termination Analysis with Compositional Transition Invariants. [Citation Graph (, )][DBLP]
   
   
10. 
    Lazy Annotation for Program Testing and Verification. [Citation Graph (, )][DBLP]
    
    
11. 
    The Static Driver Verifier Research Platform. [Citation Graph (, )][DBLP]
    
    
12. 
    Dsolve: Safety Verification via Liquid Types. [Citation Graph (, )][DBLP]
    
    
13. 
    Contessa: Concurrency Testing Augmented with Symbolic Analysis. [Citation Graph (, )][DBLP]
    
    
14. 
    Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. [Citation Graph (, )][DBLP]
    
    
15. 
    Efficient Emptiness Check for Timed Büchi Automata. [Citation Graph (, )][DBLP]
    
    
16. 
    Merit: An Interpolating Model-Checker. [Citation Graph (, )][DBLP]
    
    
17. 
    Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
18. 
    Jtlv: A Framework for Developing Verification Algorithms. [Citation Graph (, )][DBLP]
    
    
19. 
    Petruchio: From Dynamic Networks to Nets. [Citation Graph (, )][DBLP]
    
    
20. 
    Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
21. 
    Safety Verification for Probabilistic Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
22. 
    A Logical Product Approach to Zonotope Intersection. [Citation Graph (, )][DBLP]
    
    
23. 
    Fast Acceleration of Ultimately Periodic Relations. [Citation Graph (, )][DBLP]
    
    
24. 
    An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. [Citation Graph (, )][DBLP]
    
    
25. 
    Fences in Weak Memory Models. [Citation Graph (, )][DBLP]
    
    
26. 
    Generating Litmus Tests for Contrasting Memory Consistency Models. [Citation Graph (, )][DBLP]
    
    
27. 
    Directed Proof Generation for Machine Code. [Citation Graph (, )][DBLP]
    
    
28. 
    Verifying Low-Level Implementations of High-Level Datatypes. [Citation Graph (, )][DBLP]
    
    
29. 
    Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics. [Citation Graph (, )][DBLP]
    
    
30. 
    Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. [Citation Graph (, )][DBLP]
    
    
31. 
    LTSmin: Distributed and Symbolic Reachability. [Citation Graph (, )][DBLP]
    
    
32. 
    libalf: The Automata Learning Framework. [Citation Graph (, )][DBLP]
    
    
33. 
    Symbolic Bounded Synthesis. [Citation Graph (, )][DBLP]
    
    
34. 
    Measuring and Synthesizing Systems in Probabilistic Environments. [Citation Graph (, )][DBLP]
    
    
35. 
    Achieving Distributed Control through Model Checking. [Citation Graph (, )][DBLP]
    
    
36. 
    Robustness in the Presence of Liveness. [Citation Graph (, )][DBLP]
    
    
37. 
    RATSY - A New Requirements Analysis Tool with Synthesis. [Citation Graph (, )][DBLP]
    
    
38. 
    Comfusy: A Tool for Complete Functional Synthesis. [Citation Graph (, )][DBLP]
    
    
39. 
    Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs. [Citation Graph (, )][DBLP]
    
    
40. 
    Automatically Proving Linearizability. [Citation Graph (, )][DBLP]
    
    
41. 
    Model Checking of Linearizability of Concurrent List Implementations. [Citation Graph (, )][DBLP]
    
    
42. 
    Local Verification of Global Invariants in Concurrent Programs. [Citation Graph (, )][DBLP]
    
    
43. 
    Abstract Analysis of Symbolic Executions. [Citation Graph (, )][DBLP]
    
    
44. 
    Automated Assume-Guarantee Reasoning through Implicit Learning. [Citation Graph (, )][DBLP]
    
    
45. 
    Learning Component Interfaces with May and Must Abstractions. [Citation Graph (, )][DBLP]
    
    
46. 
    A Dash of Fairness for Compositional Reasoning. [Citation Graph (, )][DBLP]
    
    
47. 
    SPLIT: A Compositional LTL Verifier. [Citation Graph (, )][DBLP]
    
    
48. 
    A Model Checker for AADL. [Citation Graph (, )][DBLP]
    
    
49. 
    PESSOA: A Tool for Embedded Controller Synthesis. [Citation Graph (, )][DBLP]
    
    
50. 
    On Array Theory of Bounded Elements. [Citation Graph (, )][DBLP]
    
    
51. 
    Quantifier Elimination by Lazy Model Enumeration. [Citation Graph (, )][DBLP]
    
    
52. 
    Bounded Underapproximations. [Citation Graph (, )][DBLP]
    
    
53. 
    Global Reachability in Bounded Phase Multi-stack Pushdown Systems. [Citation Graph (, )][DBLP]
    
    
54. 
    Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. [Citation Graph (, )][DBLP]
    
    
55. 
    Dynamic Cutoff Detection in Parameterized Concurrent Programs. [Citation Graph (, )][DBLP]
    
    
56. 
    PARAM: A Model Checker for Parametric Markov Models. [Citation Graph (, )][DBLP]
    
    
57. 
    Gist: A Solver for Probabilistic Games. [Citation Graph (, )][DBLP]
    
    
58. 
    A NuSMV Extension for Graded-CTL Model Checking. [Citation Graph (, )][DBLP]