Algorithmic logic-based verification

Turing in his seminal paper "Checking a Large Routine" [Turing 1949] already asked the question whether it was possible to check a routine was right. Among other contributions, he proposed flowchar...