C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction.
Suho Lee
Karem A. Sakallah
Published in:
CAV (2014)
Keyphrases
</>
hardware designs
bounded model checking
model checking
high level
state space
formal verification
machine learning
decision trees
lightweight
desirable properties
highly scalable
web scale
data abstraction
piecewise linear
exact solution