Login / Signup

Is formal being squeezed out of functional verification?

Brian Bailey
Published in: MEMOCODE (2004)
Keyphrases
  • functional verification
  • formal verification
  • image processing
  • case study
  • formal specification
  • real time
  • database systems
  • markov processes
  • white noise