Aaron R. Bradley

SAT-based model checking without unrolling

Aaron R. Bradley · 2013 · 491 citations

Computing, Computer Science, Algorithms +8

Property-directed incremental invariant generation

Aaron R. Bradley, Zohar Manna · Formal Aspects of Computing · 2008 · 78 citations · Full text

Computing, Computer Science, Algorithms +4

Checking safety by inductive generalization of counterexamples to induction

Aaron R. Bradley, Zohar Manna · 2013 · 72 citations

Computing, Computer Science, Formal Methods +15

Better generalization in IC3

Zyad Hassan, Aaron R. Bradley, Fabio Somenzi · 2013 · 60 citations

Computing, Computer Engineering, Computer Science +12

Checking Safety by Inductive Generalization of Counterexamples to Induction

Aaron R. Bradley, Zohar Manna · 2007 · 53 citations

Computing, Computer Science, Formal Methods +15