This page continues the work in the paper
-
Lessons from Formally Verified Deployed Software Systems
by Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer and Yinling Liu. The paper is to be published in Computing Surveys, 2026 (the exact issue and date will be added here as soon as we know them).
Here is a link to the arXiv version of the extended version of the paper. The Computing Surveys version is shorter; we will add a link shortly.
As stated in the paper, we are interested in continuing the work of the paper by reporting information on new deployed, formally verified systems that come to our attention. The simplest way to notify us is to fill the simple and non-obtrusive questionnaire which was used in the initial preparation of the paper. You can find a link to the questionnaire here.
