Login / Signup

Static analysis of HDL descriptions: Extracting models for verification.

Alexander KamkinSergey A. SmolovIgor Melnichenko
Published in: EWDTS (2013)
Keyphrases
  • static analysis
  • dynamic analysis
  • java card
  • symbolic execution
  • learning algorithm
  • probabilistic model
  • open source
  • model checking
  • query evaluation