[lprefontaine]

Formal verification of code has been the elusive Graal seeked by many for now a few decades.

It’s a mirage to which many have succumb but like in the desert most died of thirst trying to catch it.