| 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 | 2083* | 2011 |
| Solving non-linear arithmetic D Jovanović, L De Moura International Joint Conference on Automated Reasoning, 339-354, 2012 | 365 | 2012 |
| A Model-Constructing Satisfiability Calculus L de Moura, D Jovanovic Verification, Model Checking, and Abstract Interpretation, 1-12, 2013 | 157 | 2013 |
| solc-verify: A Modular Verifier for Solidity Smart Contracts Á Hajdu, D Jovanović Working Conference on Verified Software: Theories, Tools, and Experiments …, 2019 | 132 | 2019 |
| Cutting to the Chase: Solving Linear Integer Arithmetic D Jovanović, L de Moura Journal of automated reasoning 51 (1), 79-108, 2013 | 87 | 2013 |
| Property-directed k-induction D Jovanović, B Dutertre 2016 Formal Methods in Computer-Aided Design (FMCAD), 85-92, 2016 | 67 | 2016 |
| A Tale Of Two Solvers: Eager and Lazy Approaches to Bit-vectors L Hadarean, K Bansal, D Jovanovic, C Barrett, C Tinelli International Conference on Computer Aided Verification, 2014 | 66 | 2014 |
| Safety envelope for security A Tiwari, B Dutertre, D Jovanović, T de Candia, PD Lincoln, J Rushby, ... Proceedings of the 3rd international conference on High confidence networked …, 2014 | 62 | 2014 |
| The design and implementation of the model constructing satisfiability calculus D Jovanovic, C Barrett, L De Moura 2013 Formal Methods in Computer-Aided Design, 173-180, 2013 | 61 | 2013 |
| Template-based circuit understanding A Gascón, P Subramanyan, B Dutertre, A Tiwari, D Jovanovic, S Malik Formal Methods in Computer-Aided Design, 2014 | 59 | 2014 |
| Logical analysis of hash functions D Jovanović, P Janičić International Workshop on Frontiers of Combining Systems, 200-215, 2005 | 59 | 2005 |
| Solving Nonlinear Integer Arithmetic with MCSAT D Jovanovic Verification, Model Checking, and Abstract Interpretation, 2017 | 49 | 2017 |
| Polite theories revisited D Jovanović, C Barrett Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010 | 49 | 2010 |
| SMT-Friendly Formalization of the Solidity Memory Model. Á Hajdu, D Jovanovic European Symposium on Programming, 224-250, 2020 | 30 | 2020 |
| Designing Theory Solvers with Extensions A Reynolds, C Tinelli, D Jovanovic, C Barrett International Symposium on Frontiers of Combining Systems, 2017 | 25 | 2017 |
| Variable neighborhood search for the probabilistic satisfiability problem D Jovanović, N Mladenović, Z Ognjanović Metaheuristics: Progress in Complex Systems Optimization, 173-188, 2007 | 21 | 2007 |
| LibPoly: A Library for Reasoning about Polynomials D Jovanovic, B Dutertre SMT Workshop, 2017 | 18 | 2017 |
| Formal Specification and Verification of Solidity Contracts with Events (Short Paper) Á Hajdu, D Jovanović, G Ciocarlie 2nd Workshop on Formal Methods for Blockchains (FMBC 2020), 2020 | 15* | 2020 |
| Verification of Fault-Tolerant Protocols with Sally B Dutertre, D Jovanovic, JA Navas NASA Formal Methods Symposium, 2018 | 15 | 2018 |
| Verifying visibility-based weak consistency S Krishna, M Emmi, C Enea, D Jovanović Programming Languages and Systems: 29th European Symposium on Programming …, 2020 | 14 | 2020 |
Clark BarrettStanford University在 cs.stanford.edu 的电子邮件经过验证
