@Di4na very true :)

People love to point to formal verification as a magic wand when they don’t understand it. It genuinely does not solve *most* problems. But it solves *important* ones!

No not that one. Not that one either. Nope, different problem. No not like that. No, nope, definitely not, …

(I love formal verification. It’s a special interest of mine despite having never had time to dabble deeply into it. But people taking “dogs learned human speech because they can hit a button on the floor” levels of non-understanding and applying it to formal verification was not a thing I anticipated happening)