Conferences in DBLP

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

1. 
   Model Checking for Stability Analysis in Rely-Guarantee Proofs. [Citation Graph (, )][DBLP]
   
   
2. 
   Title, Preface, Table of Contents. [Citation Graph (, )][DBLP]
   
   
3. 
   Certificate Translation. [Citation Graph (, )][DBLP]
   
   
4. 
   Compositional Proofs with Symbolic Execution. [Citation Graph (, )][DBLP]
   
   
5. 
   Exploring Model-Based Development for the Verification of Real-Time Java Code. [Citation Graph (, )][DBLP]
   
   
6. 
   Operating System Verification for Real Use. [Citation Graph (, )][DBLP]
   
   
7. 
   Bitfields and Tagged Unions in C: Verification through Automatic Generation. [Citation Graph (, )][DBLP]
   
   
8. 
   Model Stack for the Pervasive Verification of a Microkernel-based Operating System. [Citation Graph (, )][DBLP]
   
   
9. 
   Precise Dynamic Verification of Confidentiality. [Citation Graph (, )][DBLP]
   
   
10. 
    Specification Predicates with Explicit Dependency Information. [Citation Graph (, )][DBLP]