Login / Signup

Analyzing Functional Coverage in Bounded Model Checking.

Daniel GroßeUlrich KühneRolf 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