Synthèse de programmes déductive

Méthode de Floyd

Technique pionnière de vérification de programmes utilisant des assertions et invariants pour prouver la correction des programmes structurés, précurseur des méthodes modernes.

← Retour