• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Checking roundoff errors using counterexample-guided narrowing.

Do Thi Bich NgocMizuhito Ogawa
Published in: ASE (2010)
Keyphrases
  • model checking
  • neural network
  • error analysis
  • computer vision
  • image processing
  • estimation error
  • formal verification
  • errors occur