If you have never stepped into a domain where you have to formally verify your software, I think you should probably not take too much offense to such a comment. While I admit it may be slightly negatively connoted, I primarily used it to illustrate that the kind of engineering going into making a bridge differs greatly from making your UI widget pixel-perfect or your SQL query from being too polynomial