Login / Signup

Verification methods: rigorous results using floating-point arithmetic.

Siegfried M. Rump
Published in: ISSAC (2010)
Keyphrases
  • dynamic programming
  • general purpose
  • model checking