| SAT-based model checking without unrolling AR Bradley Verification, Model Checking, and Abstract Interpretation, 70-87, 2011 | 980 | 2011 |
| The calculus of computation: decision procedures with applications to verification AR Bradley, Z Manna Springer Science & Business Media, 2007 | 510 | 2007 |
| What’s decidable about arrays? AR Bradley, Z Manna, HB Sipma Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006 | 426 | 2006 |
| Linear ranking with reachability AR Bradley, Z Manna, HB Sipma International Conference on Computer Aided Verification, 491-504, 2005 | 276 | 2005 |
| Termination of polynomial programs AR Bradley, Z Manna, HB Sipma International Workshop on Verification, Model Checking, and Abstract …, 2005 | 176 | 2005 |
| The polyranking principle AR Bradley, Z Manna, HB Sipma International Colloquium on Automata, Languages, and Programming, 1349-1361, 2005 | 156 | 2005 |
| Checking safety by inductive generalization of counterexamples to induction AR Bradley, Z Manna Formal Methods in Computer Aided Design (FMCAD'07), 173-180, 2007 | 146 | 2007 |
| Understanding ic3 AR Bradley International Conference on Theory and Applications of Satisfiability …, 2012 | 124 | 2012 |
| Termination analysis of integer linear loops AR Bradley, Z Manna, HB Sipma International Conference on Concurrency Theory, 488-502, 2005 | 110 | 2005 |
| Property-directed incremental invariant generation AR Bradley, Z Manna Formal aspects of computing 20, 379-405, 2008 | 97 | 2008 |
| Counterexample to induction-guided abstraction-refinement (CTIGAR) J Birgmeier, AR Bradley, G Weissenbacher Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 77 | 2014 |
| Better generalization in IC3 Z Hassan, AR Bradley, F Somenzi 2013 Formal Methods in Computer-Aided Design, 157-164, 2013 | 77 | 2013 |
| An incremental approach to model checking progress properties AR Bradley, F Somenzi, Z Hassan, Y Zhang 2011 Formal Methods in Computer-Aided Design (FMCAD), 144-153, 2011 | 71 | 2011 |
| IC3 and beyond: Incremental, Inductive Verification. AR Bradley CAV 4 (10.1007), 978-3, 2012 | 61 | 2012 |
| Incremental, inductive CTL model checking Z Hassan, AR Bradley, F Somenzi International Conference on Computer Aided Verification, 532-547, 2012 | 57 | 2012 |
| IC3: where monolithic and incremental meet F Somenzi, AR Bradley 2011 Formal Methods in Computer-Aided Design (FMCAD), 3-8, 2011 | 38 | 2011 |
| Verification constraint problems with strengthening AR Bradley, Z Manna Theoretical Aspects of Computing-ICTAC 2006: Third International Colloquium …, 2006 | 20 | 2006 |
| Safety analysis of systems AR Bradley Stanford University, 2007 | 17 | 2007 |
| Incremental, inductive model checking AR Bradley 2013 20th International Symposium on Temporal Representation and Reasoning, 5-6, 2013 | 11 | 2013 |
| Programming for engineers: a foundational approach to learning C and Matlab AR Bradley Springer Science & Business Media, 2011 | 8 | 2011 |
Zyad HassanVerified email at colorado.edu
