| Cvc4 C Barrett, CL Conway, M Deters, L Hadarean, D Jovanović, T King, ... International Conference on Computer Aided Verification, 171-177, 2011 | 932 | 2011 |
| A tour of CVC4: how it works, and how to use it M Deters, A Reynolds, T King, C Barrett, C Tinelli 2014 Formal Methods in Computer-Aided Design (FMCAD), 7-7, 2014 | 45 | 2014 |
| Finding minimum type error sources Z Pavlinovic, T King, T Wies ACM SIGPLAN Notices 49 (10), 525-542, 2014 | 38 | 2014 |
| Polyhedral approximation of multivariate polynomials using Handelman’s theorem A Maréchal, A Fouilhé, T King, D Monniaux, M Périn International Conference on Verification, Model Checking, and Abstract …, 2016 | 27 | 2016 |
| Practical SMT-based type error localization Z Pavlinovic, T King, T Wies ACM SIGPLAN Notices 50 (9), 412-423, 2015 | 26 | 2015 |
| A decision procedure for separation logic in SMT A Reynolds, R Iosif, C Serban, T King International Symposium on Automated Technology for Verification and …, 2016 | 25 | 2016 |
| Deciding local theory extensions via e-matching K Bansal, A Reynolds, T King, C Barrett, T Wies International Conference on Computer Aided Verification, 87-105, 2015 | 23 | 2015 |
| Cvc4 CC Clark Barrett, M Deters, L Hadarean, D Jovanovic, T King, A Reynolds, ... 23rd International Conference on Computer Aided Verification (CAV’11) 6806 …, 2011 | 18 | 2011 |
| A step towards the adoption of standards within the UK Ministry of Defence JW Thomas, S Probets, R Dawson, T King International Journal of IT Standards and Standardization Research (IJITSR …, 2008 | 17 | 2008 |
| Solving quantified linear arithmetic by counterexample-guided instantiation A Reynolds, T King, V Kuncak Formal Methods in System Design 51 (3), 500-532, 2017 | 16 | 2017 |
| Repetition between stakeholder (user) and system requirements R Ellis-Braithwaite, R Lock, R Dawson, T King Requirements Engineering 22 (2), 167-190, 2017 | 16 | 2017 |
| Leveraging linear and mixed integer programming for SMT T King, C Barrett, C Tinelli 2014 Formal Methods in Computer-Aided Design (FMCAD), 139-146, 2014 | 16 | 2014 |
| Simplex with sum of infeasibilities for SMT T King, C Barrett, B Dutertre 2013 Formal Methods in Computer-Aided Design, 189-196, 2013 | 11 | 2013 |
| CVC4 at the SMT competition 2018 C Barrett, H Barbosa, M Brain, D Ibeling, T King, P Meng, A Niemetz, ... arXiv preprint arXiv:1806.08775, 2018 | 10 | 2018 |
| Effective algorithms for the satisfiability of quantifier-free formulas over linear real and integer arithmetic T King PhD thesis, Courant Institute of Mathematical Sciences New York, 2014 | 10 | 2014 |
| An instantiation-based approach for solving quantified linear arithmetic A Reynolds, T King, V Kuncak arXiv preprint arXiv:1510.02642, 2015 | 9 | 2015 |
| Fudge: fuzz driver generation at scale D Babić, S Bucur, Y Chen, F Ivančić, T King, M Kusano, C Lemieux, ... Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 7 | 2019 |
| A case study of the adoption and implementation of STEP JW Thomas, S Probets, R Dawson, T King The dynamics of standards. Edward Elgar, Cheltenham, 117-134, 2008 | 7 | 2008 |
| A step towards the adoption of data-exchange standards: a UK defence community case study J Wapakabulo, R Dawson, S Probets, T King The 4th Conference on Standardization and Innovation in Information …, 2005 | 5 | 2005 |
| Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 C Barrett, CL Conway, M Deters, L Hadarean, D Jovanovic, T King, ... Proceedings, chapter CVC4, 171-177, 0 | 5 | |
Clark BarrettStanford UniversityBestätigte E-Mail-Adresse bei cs.stanford.edu
