.

Formal verification and model checking

Dear Sir or Madam, please take a few minutes of your time to complete the following questionnaire.

Secured
1

What is your current role