Lightweight Verification For Computational Science Models
Presentation by Dr. Dominic Orchard In late November 2016, the NGCM was pleased to host Dr Dominic Orchard from the University of Kent, to present his views on the scientific software verification. As in any other activity involving human factors, also in programming we are likely to make mistakes. “The …