Floats and Ropes: A Case Study for Formal Numerical Program Verification.

Published in: ICALP (2) (2009)

Keyphrases

case study
sensitivity analysis
preprocessing
probabilistic model
data model
formal language
numerical analysis
formal methods
formal specification
formal model
test bed
databases
evolutionary algorithm
expert systems
reinforcement learning
database systems
information systems
artificial intelligence