Every single bolt on a plane is tracked from the steel foundry to retirement with serial numbers and testing and certification and everything.
What do you mean? They're designed and tested according to calculations done by mathematically proven methods.
But that isn't formal verification via mathematical proof. And this is the crux of the flaw with the paper. There are lots of ways to reliability. Mathematical proof is just one.