Synthèse de programmes déductive

Synthèse déductive de programmes

Méthode de génération automatique de programmes à partir de spécifications formelles en utilisant des règles de déduction logique pour transformer les préconditions et postconditions en code exécutable.

← 返回