https://github.com/hengxin/formal-methods

Formal Methods
https://github.com/hengxin/formal-methods

boogie coq dafny formal-methods sat smt tlaplus tlaps

Last synced: about 1 month ago
JSON representation

Formal Methods

• Host: GitHub
• URL: https://github.com/hengxin/formal-methods
• Owner: hengxin
• License: mit
• Created: 2020-03-22T03:44:04.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2021-02-10T02:36:31.000Z (almost 4 years ago)
• Last Synced: 2023-03-31T13:31:05.833Z (over 1 year ago)
• Topics: boogie, coq, dafny, formal-methods, sat, smt, tlaplus, tlaps
• Size: 3.65 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project