https://github.com/isaac-defrain/liveness-checking

Liveness checking state machines without storing execution traces
https://github.com/isaac-defrain/liveness-checking

model-checking tlaplus

Last synced: 5 months ago
JSON representation

Liveness checking state machines without storing execution traces

• Host: GitHub
• URL: https://github.com/isaac-defrain/liveness-checking
• Owner: Isaac-DeFrain
• License: apache-2.0
• Created: 2021-05-05T19:53:03.000Z (almost 5 years ago)
• Default Branch: main
• Last Pushed: 2021-05-07T00:19:13.000Z (almost 5 years ago)
• Last Synced: 2025-02-08T02:43:48.664Z (about 1 year ago)
• Topics: model-checking, tlaplus
• Language: OCaml
• Homepage:
• Size: 10.7 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

          
# liveness-checking

Proof of concept for traceless liveness property verification