Sign in

A flexible formal verification framework for industrial scale validation.

Anna SlobodováJared DavisSol SwordsWarren A. Hunt Jr.
Published in: MEMOCODE (2011)
Keyphrases
  • formal verification
  • lightweight
  • case study
  • neural network
  • probabilistic model
  • learning algorithm