Hardware-independent Proofs of Numerical Programs.

Sylvie Boldo Thi Minh Tuyen Nguyen

Published in: NASA Formal Methods (2010)

Keyphrases

computer programs
real time
control program
low cost
hardware designs
hardware and software
sensitivity analysis
embedded systems
theorem proving
neural network
high level language
finite difference
high end
hardware architecture
automatic programming
massively parallel
formal proofs
computing systems
knowledge base