Tim King
Tim King
E-mail megerősítve itt: google.com - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Cvc4
C Barrett, CL Conway, M Deters, L Hadarean, D Jovanović, T King, ...
International Conference on Computer Aided Verification, 171-177, 2011
9182011
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
442014
Finding minimum type error sources
Z Pavlinovic, T King, T Wies
ACM SIGPLAN Notices 49 (10), 525-542, 2014
382014
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
262016
Practical SMT-based type error localization
Z Pavlinovic, T King, T Wies
ACM SIGPLAN Notices 50 (9), 412-423, 2015
262015
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
252016
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
232015
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
182011
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
172008
Repetition between stakeholder (user) and system requirements
R Ellis-Braithwaite, R Lock, R Dawson, T King
Requirements Engineering 22 (2), 167-190, 2017
162017
Solving quantified linear arithmetic by counterexample-guided instantiation
A Reynolds, T King, V Kuncak
Formal Methods in System Design 51 (3), 500-532, 2017
142017
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
142014
Simplex with sum of infeasibilities for SMT
T King, C Barrett, B Dutertre
2013 Formal Methods in Computer-Aided Design, 189-196, 2013
112013
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
102018
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
102014
An instantiation-based approach for solving quantified linear arithmetic
A Reynolds, T King, V Kuncak
arXiv preprint arXiv:1510.02642, 2015
92015
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
72019
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
72008
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
52005
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20