https://github.com/bo-yuan-huang/3la-formal-check

Formal verification of 3LA program fragments
https://github.com/bo-yuan-huang/3la-formal-check

Last synced: about 2 months ago
JSON representation

Formal verification of 3LA program fragments

• Host: GitHub
• URL: https://github.com/bo-yuan-huang/3la-formal-check
• Owner: Bo-Yuan-Huang
• License: mit
• Created: 2020-06-21T19:35:38.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-09-02T21:02:37.000Z (over 4 years ago)
• Last Synced: 2023-09-07T02:29:38.476Z (over 1 year ago)
• Language: C++
• Size: 74.2 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project