The smt-lib standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th international workshop on satisfiability modulo …, 2010 | 1461 | 2010 |
CVC: A cooperating validity checker A Stump, CW Barrett, DL Dill Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 281 | 2002 |
StarExec: A cross-community infrastructure for logic solving A Stump, G Sutcliffe, C Tinelli International joint conference on automated reasoning, 367-373, 2014 | 229 | 2014 |
A decision procedure for an extensional theory of arrays A Stump, CW Barrett, DL Dill, J Levitt Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 29-37, 2001 | 225 | 2001 |
Checking satisfiability of first-order formulas by incremental translation to SAT CW Barrett, DL Dill, A Stump Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 224 | 2002 |
SMT-COMP: Satisfiability modulo theories competition C Barrett, L De Moura, A Stump Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 150 | 2005 |
Roadmap for enhanced languages and methods to aid verification GT Leavens, JR Abrial, D Batory, M Butler, A Coglio, K Fisler, E Hehner, ... Proceedings of the 5th international conference on Generative programming …, 2006 | 106 | 2006 |
6 years of SMT-COMP C Barrett, M Deters, L De Moura, A Oliveras, A Stump Journal of Automated Reasoning 50, 243-277, 2013 | 102 | 2013 |
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, 2013 | 83 | 2013 |
A Generalization of Shostak# x2019; s Method for Combining Decision Procedures CW Barrett, DL Dill, A Stump Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002 …, 2002 | 76 | 2002 |
Verified functional programming in Agda A Stump Morgan & Claypool, 2016 | 67 | 2016 |
A trustworthy proof checker AW Appel, N Michael, A Stump, R Virga Journal of Automated Reasoning 31, 231-260, 2003 | 65 | 2003 |
Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005) C Barrett, L De Moura, A Stump Journal of Automated Reasoning 35, 373-390, 2005 | 63 | 2005 |
versat: A verified modern SAT solver D Oe, A Stump, C Oliver, K Clancy Verification, Model Checking, and Abstract Interpretation: 13th …, 2012 | 59 | 2012 |
Foundational proof checkers with small witnesses D Wu, AW Appel, A Stump Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 56 | 2003 |
Slothrop: Knuth-Bendix Completion with a Modern Termination Checker I Wehrman, A Stump, E Westbrook Term Rewriting and Applications: 17th International Conference, RTA 2006 …, 2006 | 55 | 2006 |
Verified programming in Guru A Stump, M Deters, A Petcher, T Schiller, T Simpson Proceedings of the 3rd workshop on Programming languages meets program …, 2009 | 54 | 2009 |
Proof checking technology for satisfiability modulo theories A Stump Electronic Notes in Theoretical Computer Science 228, 121-133, 2009 | 50 | 2009 |
The SMT-LIB Initiative and the Rise of SMT: (HVC 2010 Award Talk) C Barrett, L de Moura, S Ranise, A Stump, C Tinelli Hardware and Software: Verification and Testing: 6th International Haifa …, 2011 | 48 | 2011 |
Design and results of the 3rd annual satisfiability modulo theories competition (SMT-COMP 2007) C Barrett, M Deters, A Oliveras, A Stump International Journal on Artificial Intelligence Tools 17 (04), 569-606, 2008 | 48 | 2008 |