program synthesis

Concept

task to construct a program that provably satisfies a given high-level formal specification

Mentioned in 1 video