Verification log

This log should explicitly document the verification strategy. For testing, this should include the range of tests undertaken and the rationale for performing each test with bounds and test parameters where appropriate. In addition, the approaches taken to manage verification data in such a way as to ensure that data leakage did not occur should be documented. For formal verification, the techniques employed should be listed and the rationale for using such approaches to verify properties of the model with respect to real‐world features included.