Hello,
I recorded a tutorial using TLA+ and the dump dot feature as a means to sketch simple designs.
I feel there is probably a better method to continue checking temporal properties instead of disabling deadlock detection. If someone has the time I'd appreciate any feedback.
Finally, this was a fun process sketching the spec, then recording the video. I'd like to make more. If anyone has ideas that would be interesting I'd happily considering doing a similar video tutorial.
Sincerely,
Jeremy