Deductive program synthesis

Relational abstraction

Technique representing program behavior by relations between states, facilitating reasoning about properties and synthesis of correct programs.

← Indietro