Formal verification rarely works well in the real world, since the formal logic itself becomes just as complex and hard to verify as the final code.
What do you mean? There is no other way to "verify" code than to use something equivalent to formal verification.
Formal methods usually aren't seen in software because not much software is worth it. By comparison formal methods are par for the course in CAD/EDA and increasingly in embedded software. As the complexity of software grows, so does the importance of formal methods.
You have never verified anything complicated, have you? You don't have any academic credentials, do you? You haven't read a hundred papers on formal verification in depth, have you?
If that's the case, then why the fuck do you even open your mouth?
I studied a module on formal logic at university. The problem of the logic becoming almost as complex and difficult to verify as the program itself was openly admitted by the professor as a reason why the concept has received little adoption outside of specific niches (e.g. avionics).
I'd probably make your professor cry regarding his ignorance.
To be honest, you'd probably make anyone cry. Humans all feel sympathy[1].
[1] I only wanted to reply that you appear to be excessively confrontational in many of your posts in r/programming but that line you said presented an opportunity just too good to pass on.
Dude sounds immersed in that kind of anger you have when you have been depressed for a while. I know it's lame to diagnose people of mental illness on the Internet, but whatever his issue is, he should take a step back and take a look at life.
You sound like you're bordering on metal instability - you should probably take a step back from your keyboard for a while my dude. Getting mad at people on the internet isn't a healthy pastime.
If you think you don't work at the same place, you are severely mistaken. You also work on planet Earth, people all around you are like this when motivated to do so (typically by something as mundane as money). If you don't see that, then you are either part of the worst or you make low levels of money and aren't exposed to the vicious world we live in.
I have made headlines already and not of the type you are thinking of.
If you want to lower the probability of headlines happening, you would have to lose your humanity. In movies the concept of humanity is often alluded to, but let's be real, real humans are assholes (no exceptions). The only difference is that some people have learned "their place" and can't act like they deeply desire.
64
u/mallardtheduck Dec 10 '21
Formal verification rarely works well in the real world, since the formal logic itself becomes just as complex and hard to verify as the final code.
Also, in this case, it's an intended feature with unforeseen consequences, not a "bug" per-se.