It's quite common in aerospace certification to cite systems having proven records of an acceptably-low number of failures per flight hour or similar metric. I

It's quite common in aerospace certification to cite systems having proven records of an acceptably-low number of failures per flight hour or similar metric. I suspect they're using that sense of the word "proven", as opposed to a formal software proof.