From: Alexander Kogtenkov via Cl-isabelle-users <email@example.com>
A group of us are preparing a survey on systems that have been both formally verified and deployed for actual use. To make sure we do not forget any important development, we have devised a questionnaire. If you have experience with such a system, please help by filling the questionnaire.
The questionnaire only includes a few questions and should take a few minutes to fill. You can find it at
If you know of others who also have information to contribute, please bring the questionnaire to their attention.
Thank you in advance and best regards,
Last updated: Dec 08 2021 at 09:20 UTC