Formally Verified Systems Questionnaire
We are writing a survey of formally verified, deployed systems. If you have experience of any kind with such a system, please help making this survey extensive and accurate by answering the following questions.
Sign in to Google
to save your progress.
Name of the deployed system or the project
Area (select all that apply)
CASE (Computer Aided Software Engineering) tools
Nuclear power plants
Status of Project
A version of the project is operational
Still under development, no operational version yet
Project completed but no longer in operation
Approximate duration of project so far (in months)
In which phase(s) of software development have the formal verification techniques been involved? (select all that apply)
Validation / verification
What type(s) of properties have been verified? (select all that apply)
User-defined functional correctness
Absence of run-time error
Memory usage constraints
Other (please specify next)
Any more specific information about the properties being verified?
How many coders/engineers are in the project team?
Estimated verification effort so far
What techniques/tools/languages have been applied in the project?
Your level of expertise on formal verification prior to the project
Is there any training on the techniques/tools/languages carried out? If yes, please specify the skills/knowledge and duration of the training.
Page 1 of 2
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google.
Terms of Service