Verification of sequential and concurrent programs
Verification of sequential and concurrent programs
Science, computational science, and computer science: at a crossroads
Communications of the ACM
Rounding Errors in Algebraic Processes
Rounding Errors in Algebraic Processes
Hi-index | 0.00 |
The author uses the Michelson-Morley experiment as a case study in validation based on current knowledge. He uses standard mathematical concepts of error analysis to develop measures of merit. In order to fully understand the case study, he reviews philosophical concepts, focusing on scientific confirmation to understand which formal logical concepts can be used. He then proposes a logical foundation for scientific validation and give two research directions.