I haven’t, and interesting to know that C++ is used there!

I’m referring to systems software (operating systems, browsers, runtimes, backends) where formal verification is not normally used.