Improving the Quality of Bounded Model Checking by Means of Coverage Estimation.

Ulrich Kühne Daniel Große Rolf Drechsler

Published in: ISVLSI (2007)

Keyphrases

bounded model checking
high quality
improve quality
accurate estimation
model checking
higher quality
parameter estimation
temporal logic
density estimation
quality assessment
estimation algorithm
formal verification