Search the dblp DataBase

Publications of Author

1. Tjark Weber
   Towards Mechanized Program Verification with Separation Logic. [Citation Graph (0, 0)][DBLP]
   CSL, 2004, pp:250-264 [Conf]
   
2. Tjark Weber, James L. Caldwell
   Constructively Characterizing Fold and Unfold. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2003, pp:110-127 [Conf]
   
3. Annabelle McIver, Tjark Weber
   Towards Automated Proof Support for Probabilistic Distributed Systems. [Citation Graph (0, 0)][DBLP]
   LPAR, 2005, pp:534-548 [Conf]
   
4. Tjark Weber
   Integrating a SAT Solver with an LCF-style Theorem Prover. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:67-78 [Journal]
   
5. 
   Finite Models in FOL-Based Crypto-Protocol Verification. [Citation Graph (, )][DBLP]
   
   
6. 
   Validating QBF Invalidity in HOL4. [Citation Graph (, )][DBLP]
   
   
7. 
   Fast LCF-Style Proof Reconstruction for Z3. [Citation Graph (, )][DBLP]
   
   
8. 
   A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code. [Citation Graph (, )][DBLP]