| SAT-based model checking without unrolling AR Bradley Verification, Model Checking, and Abstract Interpretation, 70-87, 2011 | 1068 | 2011 |
| The calculus of computation: decision procedures with applications to verification AR Bradley, Z Manna Springer Berlin Heidelberg, 2007 | 537 | 2007 |
| What’s decidable about arrays? AR Bradley, Z Manna, HB Sipma International Workshop on Verification, Model Checking, and Abstract …, 2006 | 451 | 2006 |
| Linear ranking with reachability AR Bradley, Z Manna, HB Sipma International Conference on Computer Aided Verification, 491-504, 2005 | 280 | 2005 |
| Termination of polynomial programs AR Bradley, Z Manna, HB Sipma International Workshop on Verification, Model Checking, and Abstract …, 2005 | 177 | 2005 |
| The polyranking principle AR Bradley, Z Manna, HB Sipma International Colloquium on Automata, Languages, and Programming, 1349-1361, 2005 | 161 | 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 | 152 | 2007 |
| Understanding ic3 AR Bradley International Conference on Theory and Applications of Satisfiability …, 2012 | 140 | 2012 |
| Termination analysis of integer linear loops AR Bradley, Z Manna, HB Sipma International Conference on Concurrency Theory, 488-502, 2005 | 112 | 2005 |
| Property-directed incremental invariant generation AR Bradley, Z Manna Formal aspects of computing 20 (4), 379-405, 2008 | 105 | 2008 |
| Better generalization in IC3 Z Hassan, AR Bradley, F Somenzi 2013 Formal Methods in Computer-Aided Design, 157-164, 2013 | 86 | 2013 |
| Counterexample to induction-guided abstraction-refinement (CTIGAR) J Birgmeier, AR Bradley, G Weissenbacher International Conference on Computer Aided Verification, 831-848, 2014 | 83 | 2014 |
| 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 | 76 | 2011 |
| IC3 and beyond: Incremental, Inductive Verification. AR Bradley CAV 4 (10.1007), 978-3, 2012 | 62 | 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 | 41 | 2011 |
| Verification constraint problems with strengthening AR Bradley, Z Manna International Colloquium on Theoretical Aspects of Computing, 35-49, 2006 | 22 | 2006 |
| Safety analysis of systems AR Bradley Stanford University, 2007 | 18 | 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
