https://github.com/arthur-milchior/migthyl

Compile MITL formula to Timed-automata for UPPAAL
https://github.com/arthur-milchior/migthyl

Last synced: about 1 month ago
JSON representation

Compile MITL formula to Timed-automata for UPPAAL

• Host: GitHub
• URL: https://github.com/arthur-milchior/migthyl
• Owner: Arthur-Milchior
• Created: 2020-04-30T23:28:22.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-06-03T09:12:19.000Z (over 4 years ago)
• Last Synced: 2024-05-21T08:31:50.544Z (6 months ago)
• Language: OCaml
• Size: 37.1 KB
• Stars: 5
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project