Lessons from Formally Verified Deployed Software Systems. - Li Huang 001; Sophie Ebersold; Alexander Kogtenkov; Alexandr Naumchev; Bertrand Meyer 001; Yinling Liu; ALiyu Alege (CoRR, 2023)