Login / Signup

Panel: Assertion-Based Verification -What's the Big Deal?

Sandeep K. ShuklaAlan J. HuJacob AbrahamsPranav AsharHarry FosterAvner LandverCarl Pixley
Published in: HLDVT (2006)
Keyphrases
  • neural network
  • model checking
  • genetic algorithm
  • big data
  • verification method
  • data sets
  • machine learning
  • similarity measure
  • face verification
  • cryptographic protocols
  • concurrent systems