synthèse de programmes
Sign in to savetask to construct a program that provably satisfies a given high-level formal specification
Article · Français
En informatique, la synthèse de programmes consiste à construire automatiquement un programme à partir d'une spécification. La spécification est décrite dans un langage logique, par exemple en logique temporelle linéaire. La synthèse de programmes s'appuie sur des techniques de vérification formelle de programmes. Le problème de synthèse de programmes remonte aux travaux d'Alonzo Church.
Abstract from DBpedia / Wikipedia · CC BY-SA