| The smt-lib standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th international workshop on satisfiability modulo …, 2010 | 1001 | 2010 |
| The smt-lib standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th international workshop on satisfiability modulo …, 2010 | 1001 | 2010 |
| The satisfiability modulo theories library (SMT-LIB). www C Barrett, A Stump, C Tinelli SMT-LIB. org 15, 18-52, 2010 | 511 | 2010 |
| The satisfiability modulo theories library (SMT-LIB). www C Barrett, A Stump, C Tinelli SMT-LIB. org 15, 18-52, 2010 | 511 | 2010 |
| CVC: A cooperating validity checker A Stump, CW Barrett, DL Dill International Conference on Computer Aided Verification, 500-504, 2002 | 264 | 2002 |
| Checking satisfiability of first-order formulas by incremental translation to SAT CW Barrett, DL Dill, A Stump International Conference on Computer Aided Verification, 236-249, 2002 | 209 | 2002 |
| 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 | 191 | 2001 |
| StarExec: A cross-community infrastructure for logic solving A Stump, G Sutcliffe, C Tinelli International joint conference on automated reasoning, 367-373, 2014 | 150 | 2014 |
| SMT-COMP: Satisfiability modulo theories competition C Barrett, L De Moura, A Stump International Conference on Computer Aided Verification, 20-23, 2005 | 117 | 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 | 105 | 2006 |
| 6 years of SMT-COMP C Barrett, M Deters, L De Moura, A Oliveras, A Stump Journal of Automated Reasoning 50 (3), 243-277, 2013 | 95 | 2013 |
| A Generalization of Shostak# x2019; s Method for Combining Decision Procedures CW Barrett, DL Dill, A Stump International Workshop on Frontiers of Combining Systems, 132-146, 2002 | 70 | 2002 |
| A trustworthy proof checker AW Appel, N Michael, A Stump, R Virga Journal of Automated Reasoning 31 (3), 231-260, 2003 | 60 | 2003 |
| 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 |
| SMT proof checking using a logical framework A Stump, D Oe, A Reynolds, L Hadarean, C Tinelli Formal Methods in System Design 42 (1), 91-118, 2013 | 51 | 2013 |
| 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 | 51 | 2009 |
| 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 | 51 | 2009 |
| Slothrop: Knuth-Bendix completion with a modern termination checker I Wehrman, A Stump, E Westbrook International Conference on Rewriting Techniques and Applications, 287-296, 2006 | 50 | 2006 |
| 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 (4), 373-390, 2005 | 50 | 2005 |
| A language-based approach to functionally correct imperative programming E Westbrook, A Stump, I Wehrman Proceedings of the tenth ACM SIGPLAN international conference on Functional …, 2005 | 48 | 2005 |
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
