| SAT-based model checking without unrolling AR Bradley Verification, Model Checking, and Abstract Interpretation, 70-87, 2011 | 805 | 2011 |
| The calculus of computation: decision procedures with applications to verification AR Bradley, Z Manna Springer Science & Business Media, 2007 | 444 | 2007 |
| What’s decidable about arrays? AR Bradley, Z Manna, HB Sipma Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006 | 393 | 2006 |
| Linear ranking with reachability AR Bradley, Z Manna, HB Sipma Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 249 | 2005 |
| Termination of polynomial programs AR Bradley, Z Manna, HB Sipma Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005 | 175 | 2005 |
| The polyranking principle AR Bradley, Z Manna, HB Sipma Automata, Languages and Programming: 32nd International Colloquium, ICALP …, 2005 | 147 | 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 | 130 | 2007 |
| Termination analysis of integer linear loops AR Bradley, Z Manna, HB Sipma CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005 | 107 | 2005 |
| Understanding ic3 AR Bradley International Conference on Theory and Applications of Satisfiability …, 2012 | 100 | 2012 |
| Property-directed incremental invariant generation AR Bradley, Z Manna Formal Aspects of Computing 20, 379-405, 2008 | 90 | 2008 |
| Counterexample to induction-guided abstraction-refinement (CTIGAR) J Birgmeier, AR Bradley, G Weissenbacher Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 68 | 2014 |
| Better generalization in IC3 Z Hassan, AR Bradley, F Somenzi 2013 Formal Methods in Computer-Aided Design, 157-164, 2013 | 63 | 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 | 61 | 2011 |
| IC3 and beyond: Incremental, Inductive Verification. AR Bradley CAV 4 (10.1007), 978-3, 2012 | 57 | 2012 |
| Incremental, inductive CTL model checking Z Hassan, AR Bradley, F Somenzi Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 50 | 2012 |
| IC3: where monolithic and incremental meet F Somenzi, AR Bradley 2011 Formal Methods in Computer-Aided Design (FMCAD), 3-8, 2011 | 36 | 2011 |
| Verification constraint problems with strengthening AR Bradley, Z Manna ICTAC, 35-49, 2006 | 20 | 2006 |
| Safety analysis of systems AR Bradley Stanford University, 2007 | 15 | 2007 |
| Incremental, inductive model checking AR Bradley 2013 20th International Symposium on Temporal Representation and Reasoning, 5-6, 2013 | 10 | 2013 |
| K-step relative inductive generalization AR Bradley arXiv preprint arXiv:1003.3649, 2010 | 8 | 2010 |
Zyad HassanGeverifieerd e-mailadres voor colorado.edu
