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.
The verification of properties using formal techniques typically require requirements to be encoded using a restricted language set (e.g. first-order logic) or domain-specific languages. Converting natural language requirements into these representations may require significant domain expertise and shall be explicitly documented in the verification log.