https://github.com/izgzhen/iris-c-coq

Control-flow based language verification framework
https://github.com/izgzhen/iris-c-coq

c-language coq iris verification

Last synced: 3 months ago
JSON representation

Control-flow based language verification framework

• Host: GitHub
• URL: https://github.com/izgzhen/iris-c-coq
• Owner: izgzhen
• Archived: true
• Created: 2017-02-26T05:46:59.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-09-16T06:52:58.000Z (over 7 years ago)
• Last Synced: 2024-09-25T21:17:33.097Z (3 months ago)
• Topics: c-language, coq, iris, verification
• Language: Coq
• Homepage:
• Size: 4.47 MB
• Stars: 7
• Watchers: 3
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project