Deputy Director of the DSI-NRF Centre of Excellence in Mathematical and Statistical Sciences and Senior Lecturer in the School of Computer Science and Applied Mathematics, University of the ...
In Chapter 1, verification is defined as the process of determining how accurately a computer program (“code”) correctly solves the equations of a mathematical model. This includes code verification ...