Login / Signup
Estimating functional coverage in bounded model checking.
Daniel Große
Ulrich Kühne
Rolf Drechsler
Published in:
DATE (2007)
Keyphrases
</>
bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
functional analysis
data sets
learning algorithm
dynamic programming