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 ...

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 ...