I have to wonder if in the '90s was formal verification even used in large corporations other than the ones that were supplying the most critical (and legally s

I have to wonder if in the '90s was formal verification even used in large corporations other than the ones that were supplying the most critical (and legally scrutinized) hardware- aerospace, automobiles, healthcare devices, etc.