[ncmncm]

Yet, it is done, thousands of times every day, all over the world.

You must be misunderstanding the work if you believe that what is being done routinely is impossible.

[mkleczek]

> You must be misunderstanding the work if you believe that what is being done routinely is impossible.

Quite possibly I don't understand what you mean by "work". If by "work" you mean creating provably correct software then no, it is not done routinely.

[ncmncm]

The work is the paper you cited.

People create wholly deterministic state machines all the damn time.

[mkleczek]

> People create wholly deterministic state machines all the damn time.

What do you mean by "wholly deterministic"?

[ncmncm]

All possible states are well-understood, all possible paths through states are mapped.

You can buy an 8-bit adder/accumulator from a catalog.