TY  - RPRT
TI  - Lessons from Formally Verified Deployed Software Systems (Extended version)
AU  - Li Huang
AU  - Sophie Ebersold
AU  - Alexander Kogtenkov
AU  - Bertrand Meyer
AU  - Yinling Liu
PY  - 2026
DO  - 10.1145/3785652
UR  - https://arxiv.org/abs/2301.02206
ID  - 2301.02206
ER  -