Login / Signup

Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.

Thomas WilsonSavi MaharajRobert G. Clark
Published in: SEFM (2005)
Keyphrases
  • model checking
  • data sets
  • optimal policy
  • neural network
  • artificial intelligence
  • database
  • real time
  • real world
  • data mining
  • case study
  • evolutionary algorithm
  • lightweight