Minimap of introduction diagram
Minimap of stage diagram

AMLAS outline

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.

Note 36 - Converting natural language requirements

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.

Continue to: Activity 14. Instantiate ML verification argument pattern

Our site depends on cookies to provide our service to you. If you continue to use this site we will assume that you are happy with that. View our privacy policy.