För krav som inte kan provas fullt på plats (t.ex. djupa fel) används simulering med validerad modell som evidens — modellen måste matcha firmware.