TLA+ 2024 survey

JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.

TLA+ 2024 survey

Please provide as much information as possible in the open-text questions.

Thank you for your feedback!

How did you first learn about TLA+?

Online search

Conference or seminar

Friend or colleague

Book or paper

Work or academic project

Clear selection

How long have you been using TLA+?

I haven't yet used TLA+

less than 1 year

1 to 2 years

2 to 5 years

more than 5 years

Clear selection

Have you ever used TLA+ in a professional context?

Yes

Clear selection

What motivated you to start using TLA+?

I was interested in learning more about formal methods, and TLA+ seemed like a good place to start.

I was struggling to find bugs in my code using traditional testing methods, and I was drawn to TLA+ because of its ability to find subtle errors.

I was introduced to TLA+ through a research project or academic course and was intrigued by its potential to model complex systems.

I was curious about TLA+ after hearing about it from a friend or colleague who had used it before and had positive experiences.

Other:

Clear form

Never submit passwords through Google Forms.

This content is neither created nor endorsed by Google. Report Abuse - Terms of Service - Privacy Policy