https://github.com/mmsaki/certora-tool
Formal verifiaction personal notes
https://github.com/mmsaki/certora-tool
formal-verification inductive-logic-programming invariants
Last synced: 6 months ago
JSON representation
Formal verifiaction personal notes
- Host: GitHub
- URL: https://github.com/mmsaki/certora-tool
- Owner: mmsaki
- Created: 2023-09-27T19:00:04.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2023-11-30T19:54:13.000Z (almost 2 years ago)
- Last Synced: 2023-11-30T20:42:16.993Z (almost 2 years ago)
- Topics: formal-verification, inductive-logic-programming, invariants
- Homepage:
- Size: 1.29 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md