Abstract
Science has been transformed by computation. Many observers now consider simulation a “third approach” to scientific discovery, on par with experimentation and theory. But scientists have long-established methods for verifying conclusions based on those traditional approaches—the same is not true for simulation. Reports on simulation-based research often say little about the qualities of the software used, or what was done to ascertain its correctness. Sometimes the software is not even made available to the public; but even when it is, how many would bother to check it, and how would they go about doing so?
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Siegel, S.F. (2009). Formal Verification for Scientific Computing: Trends and Progress. In: Ropo, M., Westerholm, J., Dongarra, J. (eds) Recent Advances in Parallel Virtual Machine and Message Passing Interface. EuroPVM/MPI 2009. Lecture Notes in Computer Science, vol 5759. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03770-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-03770-2_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03769-6
Online ISBN: 978-3-642-03770-2
eBook Packages: Computer ScienceComputer Science (R0)