This survey will help identify priorities for the TLA+ formalism, methodology, tooling, community, and TLA+ Foundation. All questions are optional. For ranking questions, please rank your top 3 choices at a minimum.

Question Title

1. How would you describe your TLA+ experience?

( Privacy & Cookie Notice

T