<hmmm-on-a-tangent/>

What if such nasty things also bring about an increased demand for program verification using formal methods?

Yes, it is difficult, but even partial solutions are helpful and way, way better than nothing.

By the way, I ought to look for any surveys on the use of assertions (the little cousins of program verification) in published program sources.

One old textbook I found well worth reading was the one about program specification and software development by Liskov and Guttag.
The first edition, using the CLU programming language.

#ComputerProgramming
#IHaveADream
#FormalMethods
#ProgramVerification
#SoftwareEngineering

@screwlisp