Search the dblp DataBase

Publications of Author

1. Sandip Ray, Warren A. Hunt Jr.
   Deductive Verification of Pipelined Machines Using First-Order Quantification. [Citation Graph (0, 0)][DBLP]
   CAV, 2004, pp:31-43 [Conf]
   
2. Sandip Ray, J. Strother Moore
   Proof Styles in Operational Semantics. [Citation Graph (0, 0)][DBLP]
   FMCAD, 2004, pp:67-81 [Conf]
   
3. John Matthews, J. Strother Moore, Sandip Ray, Daron Vroon
   Verification Condition Generation Via Theorem Proving. [Citation Graph (0, 0)][DBLP]
   LPAR, 2006, pp:362-376 [Conf]
   
4. Sandip Ray
   Quantification in tail-recursive function definitions. [Citation Graph (0, 0)][DBLP]
   ACL2, 2006, pp:95-98 [Conf]
   
5. 
   Formal Verification for High-Assurance Behavioral Synthesis. [Citation Graph (, )][DBLP]
   
   
6. 
   Optimizing equivalence checking for behavioral synthesis. [Citation Graph (, )][DBLP]
   
   
7. 
   Mechanized Information Flow Analysis through Inductive Assertions. [Citation Graph (, )][DBLP]
   
   
8. 
   Connecting pre-silicon and post-silicon verification. [Citation Graph (, )][DBLP]
   
   
9. 
   A Mechanized Refinement Framework for Analysis of Custom Memories. [Citation Graph (, )][DBLP]
   
   
10. 
    Modeling and verification of industrial flash memories. [Citation Graph (, )][DBLP]
    
    
11. 
    Mechanized Certification of Secure Hardware Designs. [Citation Graph (, )][DBLP]
    
    
12. 
    A Survey of Hybrid Techniques for Functional Verification. [Citation Graph (, )][DBLP]
    
    
13. 
    Combining Theorem Proving with Model Checking through Predicate Abstraction. [Citation Graph (, )][DBLP]