The principle "Asilomar AI Principles" has mentioned the topic "verification" in the following places:

6) Safety

AI systems should be safe and secure throughout their operational lifetime, and verifiably so where applicable and feasible.