https://github.com/informalsystems/tla-apalache-workshop

Material for a workshop on Apalache and TLA+. To be populated with more examples.
https://github.com/informalsystems/tla-apalache-workshop

apalache tlaplus tutorial

Last synced: 9 days ago
JSON representation

Material for a workshop on Apalache and TLA+. To be populated with more examples.

• Host: GitHub
• URL: https://github.com/informalsystems/tla-apalache-workshop
• Owner: informalsystems
• License: apache-2.0
• Created: 2021-03-22T09:51:56.000Z (about 5 years ago)
• Default Branch: main
• Last Pushed: 2023-04-17T09:08:36.000Z (almost 3 years ago)
• Last Synced: 2024-04-14T22:51:00.446Z (almost 2 years ago)
• Topics: apalache, tlaplus, tutorial
• Homepage:
• Size: 115 KB
• Stars: 21
• Watchers: 25
• Forks: 5
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project