External Rewriting for Skeptical Proof Assistants
Journal of Automated Reasoning
CVC: A Cooperating Validity Checker
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
A General and Flexible Access-Control System for the Web
Proceedings of the 11th USENIX Security Symposium
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Signature Compilation for the Edinburgh Logical Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
New results on rewrite-based satisfiability procedures
ACM Transactions on Computational Logic (TOCL)
Exploiting shared structure in software verification conditions
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Rocket-fast proof checking for SMT solvers
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Generating Invariant-Based Certificates for Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS)
SMT proof checking using a logical framework
Formal Methods in System Design
Hi-index | 0.00 |