Tag: proof-of-correctness
Mathématiques formelles argument qu’un algorithme répond à sa spécication, c’est à dire qu’il produit toujours le bon de sortie pour l’autorisation d’entrée.
Mathématiques formelles argument qu’un algorithme répond à sa spécication, c’est à dire qu’il produit toujours le bon de sortie pour l’autorisation d’entrée.