Verificatie: de in dit deel gegeven informatie maakt het mogelijk na te gaan of een systeem in overeenstemming is met een beginsel. ###>Verification: provides some information to address the question of whether a system complies with a principle.