https://github.com/hengxin/tlaplus-at-nju-disalg

Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
https://github.com/hengxin/tlaplus-at-nju-disalg

lamport-specifying-systems model-checking theorem-proving tla-hyperbook tlaplus tlaplus-video-course tlaps tlc

Last synced: 3 days ago
JSON representation

Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).

• Host: GitHub
• URL: https://github.com/hengxin/tlaplus-at-nju-disalg
• Owner: hengxin
• License: gpl-3.0
• Created: 2016-06-18T07:25:53.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2022-02-16T02:11:53.000Z (over 2 years ago)
• Last Synced: 2023-03-31T13:31:08.943Z (over 1 year ago)
• Topics: lamport-specifying-systems, model-checking, theorem-proving, tla-hyperbook, tlaplus, tlaplus-video-course, tlaps, tlc
• Language: TeX
• Homepage:
• Size: 231 MB
• Stars: 10
• Watchers: 3
• Forks: 7
• Open Issues: 13

Awesome Lists containing this project