JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.
TLA+ Community Survey 2022
Feel free to skip questions; a partial result is better than no result.
Sign in to Google
to save your progress.
Learn more
On average, how often do you use TLA+?
Daily
Weekly
Monthly
Rarely
Clear selection
How would you rate your TLA+ expertise?
I can neither read nor write TLA+
I can write simple specifications
I can write useful specifications for work, but it's a struggle
I am productive writing TLA+
I am an expert
Clear selection
When did you learn TLA+?
Choose
Recently
Within last 12 months
Within last 5 years
Longer than 5 years ago
Next
Page 1 of 8
Clear form
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google. -
Terms of Service
-
Privacy Policy
Does this form look suspicious?
Report
Forms
