Follow
Aaron Bradley
Aaron Bradley
Unknown affiliation
Verified email at cs.stanford.edu - Homepage
Title
Cited by
Cited by
Year
SAT-based model checking without unrolling
AR Bradley
Verification, Model Checking, and Abstract Interpretation, 70-87, 2011
8992011
The calculus of computation: decision procedures with applications to verification
AR Bradley, Z Manna
Springer Science & Business Media, 2007
4702007
What’s decidable about arrays?
AR Bradley, Z Manna, HB Sipma
Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006
4062006
Linear ranking with reachability
AR Bradley, Z Manna, HB Sipma
International Conference on Computer Aided Verification, 491-504, 2005
2602005
Termination of polynomial programs
AR Bradley, Z Manna, HB Sipma
International Workshop on Verification, Model Checking, and Abstract …, 2005
1782005
The polyranking principle
AR Bradley, Z Manna, HB Sipma
International Colloquium on Automata, Languages, and Programming, 1349-1361, 2005
1472005
Checking safety by inductive generalization of counterexamples to induction
AR Bradley, Z Manna
Formal Methods in Computer Aided Design (FMCAD'07), 173-180, 2007
1382007
Understanding ic3
AR Bradley
International Conference on Theory and Applications of Satisfiability …, 2012
1162012
Termination analysis of integer linear loops
AR Bradley, Z Manna, HB Sipma
International Conference on Concurrency Theory, 488-502, 2005
1072005
Property-directed incremental invariant generation
AR Bradley, Z Manna
Formal aspects of computing 20, 379-405, 2008
922008
Better generalization in IC3
Z Hassan, AR Bradley, F Somenzi
2013 Formal Methods in Computer-Aided Design, 157-164, 2013
732013
Counterexample to induction-guided abstraction-refinement (CTIGAR)
J Birgmeier, AR Bradley, G Weissenbacher
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
722014
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
632011
IC3 and beyond: Incremental, Inductive Verification.
AR Bradley
CAV 4 (10.1007), 978-3, 2012
602012
Incremental, inductive CTL model checking
Z Hassan, AR Bradley, F Somenzi
International Conference on Computer Aided Verification, 532-547, 2012
542012
IC3: where monolithic and incremental meet
F Somenzi, AR Bradley
2011 Formal Methods in Computer-Aided Design (FMCAD), 3-8, 2011
402011
Verification constraint problems with strengthening
AR Bradley, Z Manna
Theoretical Aspects of Computing-ICTAC 2006: Third International Colloquium …, 2006
202006
Safety analysis of systems
AR Bradley
Stanford University, 2007
152007
Incremental, inductive model checking
AR Bradley
2013 20th International Symposium on Temporal Representation and Reasoning, 5-6, 2013
112013
K-step relative inductive generalization
AR Bradley
arXiv preprint arXiv:1003.3649, 2010
82010
The system can't perform the operation now. Try again later.
Articles 1–20