Aaron R. Bradley

22 papers A* 5A 1B 9C 2Journal 2
YearRankTypeTitle / Venue / Authors
2014 A* conf
Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR).
CAV
Johannes Birgmeier, Aaron R. Bradley, Georg Weissenbacher
2013 B conf
Better generalization in IC3.
FMCAD
Zyad Hassan, Aaron R. Bradley, Fabio Somenzi
2013 C conf
Incremental, Inductive Model Checking.
TIME
Aaron R. Bradley
2012 A* conf
IC3 and beyond: Incremental, Inductive Verification.
CAV
Aaron R. Bradley
2012 A* conf
Incremental, Inductive CTL Model Checking.
CAV
Zyad Hassan, Aaron R. Bradley, Fabio Somenzi
2012 A conf
Understanding IC3.
SAT
Aaron R. Bradley
2011 B conf
An incremental approach to model checking progress properties.
FMCAD
Aaron R. Bradley, Fabio Somenzi, Zyad Hassan, Yan Zhang
2011 B conf
IC3: where monolithic and incremental meet.
FMCAD
Fabio Somenzi, Aaron R. Bradley
2011 — book
Programming for Engineers - A Foundational Approach to Learning C and Matlab.
Aaron R. Bradley
2011 B conf
SAT-Based Model Checking without Unrolling.
VMCAI
Aaron R. Bradley
2010 J jnl
k-Step Relative Inductive Generalization
CoRR
Aaron R. Bradley
2008 J jnl
Property-directed incremental invariant generation.
Formal Aspects Comput.
Aaron R. Bradley, Zohar Manna
2007 B conf
Checking Safety by Inductive Generalization of Counterexamples to Induction.
FMCAD
Aaron R. Bradley, Zohar Manna
2007 — —
Safety analysis of systems.
Aaron R. Bradley
2007 — book
The calculus of computation - decision procedures with applications to verification.
Aaron R. Bradley, Zohar Manna
2006 C conf
Verification Constraint Problems with Strengthening.
ICTAC
Aaron R. Bradley, Zohar Manna
2006 B conf
What's Decidable About Arrays?
VMCAI
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
2005 A* conf
Linear Ranking with Reachability.
CAV
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
2005 B conf
Termination Analysis of Integer Linear Loops.
CONCUR
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
2005 B conf
Termination and Invariance Analysis of Loops.
ATVA
Aaron R. Bradley, Zohar Manna
2005 B conf
Termination of Polynomial Programs.
VMCAI
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
2005 A* conf
The Polyranking Principle.
ICALP
Aaron R. Bradley, Zohar Manna, Henny B. Sipma