Login / Signup
Analyzing Functional Coverage in Bounded Model Checking.
Daniel Große
Ulrich Kühne
Rolf Drechsler
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2008)
Keyphrases
</>
bounded model checking
formal verification
model checking
temporal logic
linear temporal logic
wireless sensor networks
functional analysis
case study
search space
np hard
functional properties