Synthèse de programmes déductive

Abstraction relationnelle

Technique représentant le comportement d'un programme par des relations entre états, facilitant le raisonnement sur les propriétés et la synthèse de programmes corrects.

← Retour