Deductive program synthesis

Deductive program synthesis

Method of automatic generation of programs from formal specifications using logical deduction rules to transform preconditions and postconditions into executable code.

← Quay lại