msingleon Lobsters • Recommends
TLA+ Community Meeting videos
Meeting Notes
Links were posted to the TLA+ google group
0:00 / 0:00
#tla+#formalmethods#specification
TLA+ in Engineering Systems – Quinceañera - David Langworthy
TLA+ - The Temporal Logic of Actions
1.3K subscribers • 3 videos on Hallway
- Recommended by 1 person: 1 on Lobsters.
- Presented by David Langworthy
Intermediate. Assumes working knowledge.
2.2K views8 years ago1 recommendation
Computer scienceSoftware designFormal methods and verificationSoftware architecture
David Langworthy discusses the use of TLA+ in engineering systems during a keynote at the TLA+ Community Meeting.
KeynoteWhy it's here
1 person recommends thisWhat people say. Recommended as part of the TLA+ Community Meeting videos.