Conferences in DBLP

International Conference on Automated Deduction (CADE) (cade)
2007 (conf/cade/2007verify)

1. 
   A Termination Checker for Isabelle Hoare Logic. [Citation Graph (, )][DBLP]
   
   
2. 
   A Sequent Calculus for Integer Arithmetic with Counterexample Generation. [Citation Graph (, )][DBLP]
   
   
3. 
   Lightweight Verification with Dependent Types. [Citation Graph (, )][DBLP]
   
   
4. 
   Reflecting Linear Arithmetic: From Dense Linear Orders to Presburger Arithmetic. [Citation Graph (, )][DBLP]
   
   
5. 
   Symbolic Fault Injection. [Citation Graph (, )][DBLP]
   
   
6. 
   Inferring Invariants by Symbolic Execution. [Citation Graph (, )][DBLP]
   
   
7. 
   Automation of Formal Verification of PLC Programs Written in IL. [Citation Graph (, )][DBLP]
   
   
8. 
   Combining Deduction and Algebraic Constraints for Hybrid System Analysis. [Citation Graph (, )][DBLP]
   
   
9. 
   Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class. [Citation Graph (, )][DBLP]
   
   
10. 
    ALICE: An Advanced Logic for Interactive Component Engineering. [Citation Graph (, )][DBLP]
    
    
11. 
    A History-based Verification of Distributed Applications. [Citation Graph (, )][DBLP]
    
    
12. 
    The Heterogeneous Tool Set (Hets). [Citation Graph (, )][DBLP]
    
    
13. 
    A Mechanization of Phylogenetic Trees. [Citation Graph (, )][DBLP]
    
    
14. 
    Trends and Challenges in Satisfiability Modulo Theories. [Citation Graph (, )][DBLP]
    
    
15. 
    Formal Device and Programming Model for a Serial Interface. [Citation Graph (, )][DBLP]
    
    
16. 
    Fully Verified Java Card API Reference Implementation. [Citation Graph (, )][DBLP]