Follow
Duckki Oe
Duckki Oe
CertiK
Verified email at duck.com - Homepage
Title
Cited by
Cited by
Year
SMT proof checking using a logical framework
A Stump, D Oe, A Reynolds, L Hadarean, C Tinelli
Formal Methods in System Design 42, 91-118, 2012
872012
versat: A Verified Modern SAT Solver
D Oe, A Stump, C Oliver, K Clancy
Verification, Model Checking, and Abstract Interpretation (VMCAI), 2012
582012
Fast and flexible proof checking for SMT
D Oe, A Reynolds, A Stump
Proceedings of the 7th International Workshop on Satisfiability Modulo …, 2009
282009
Towards an SMT proof format
A Stump, D Oe
Proceedings of the Joint Workshops of the 6th International Workshop on …, 2008
152008
Combining a logical framework with an RUP checker for SMT proofs
D Oe, A Stump
Satisfiability Modulo Theories (SMT) 40, 2011
22011
Implementing a Verified Efficient RUP Checker
D Oe
Proceedings of the Korea Information Processing Society Conference, 1176-1179, 2012
2012
Formally certified satisfiability solving
DK Oe
The University of Iowa, 2012
2012
Exploring Predictability of SAT/SMT solvers
R Brummayer, D Oe, A Stump
Evaluation Methods for Solvers and Quality Metrics for Solutions (EMSQMS), 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–8