Deductive program synthesis

Floyd's method

Pioneering program verification technique using assertions and invariants to prove the correctness of structured programs, precursor to modern methods.

← Indietro