Terms for subject Information technology containing assertion

English	French
assertion checking	vérification d'assertions
assertion technique	technique d'assertion
assertion technique	technique d'attestation
assertion technique	technique d'affirmation
assertion testing	test d'assertions
correctness assertion	affirmation de véracité
correctness assertion	affirmation de correction
inductive assertion method	méthode inductive d'assertion
input assertion	assertion d'entrée
output assertion	assertion de sortie
security assertion	déclaration de sécurité
security assertion	attestation de sécurité
slot-assertion notation	structure "slot-assertion"