Aaron R. Bradley

Publication Activity (10 Years)

Years Active: 2005-2014
Publications (10 Years): 0

Top Topics

Efficient Incremental

Inductive Reasoning

Top Venues

Publications

Johannes Birgmeier, Aaron R. Bradley, Georg Weissenbacher
Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR). CAV (2014)
Zyad Hassan, Aaron R. Bradley, Fabio Somenzi
Better generalization in IC3. FMCAD (2013)
Aaron R. Bradley
Incremental, Inductive Model Checking. TIME (2013)
Aaron R. Bradley
IC3 and beyond: Incremental, Inductive Verification. CAV (2012)
Aaron R. Bradley
Understanding IC3. SAT (2012)
Zyad Hassan, Aaron R. Bradley, Fabio Somenzi
Incremental, Inductive CTL Model Checking. CAV (2012)
Aaron R. Bradley, Fabio Somenzi, Zyad Hassan, Yan Zhang
An incremental approach to model checking progress properties. FMCAD (2011)
Aaron R. Bradley
SAT-Based Model Checking without Unrolling. VMCAI (2011)
Fabio Somenzi, Aaron R. Bradley
IC3: where monolithic and incremental meet. FMCAD (2011)
Aaron R. Bradley
k-Step Relative Inductive Generalization CoRR (2010)
Aaron R. Bradley, Zohar Manna
Property-directed incremental invariant generation. Formal Aspects Comput. 20 (4-5) (2008)
Aaron R. Bradley, Zohar Manna
Checking Safety by Inductive Generalization of Counterexamples to Induction. FMCAD (2007)
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
What's Decidable About Arrays? VMCAI (2006)
Aaron R. Bradley, Zohar Manna
Verification Constraint Problems with Strengthening. ICTAC (2006)
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
Termination of Polynomial Programs. VMCAI (2005)
Aaron R. Bradley, Zohar Manna
Termination and Invariance Analysis of Loops. ATVA (2005)
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
The Polyranking Principle. ICALP (2005)
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
Termination Analysis of Integer Linear Loops. CONCUR (2005)
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
Linear Ranking with Reachability. CAV (2005)