Questionnaire on deployed, formally verified systems
A group of us is 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. It only includes a few questions and takes a few minutes to fill. You can find it here.
Please also bring it to the attention of others who might have relevant information.
Thanks in advance!
Eiffel Software
Home page at ETH
Informatics Europe
LASER summer school
Propulsion Academy