https://github.com/krishnagopinath/separationlogic
a system that helps formally verify the correctness of concurrent programs, integrated into a toy programming language called Imp.
https://github.com/krishnagopinath/separationlogic
coq functional-programming
Last synced: about 1 year ago
JSON representation
a system that helps formally verify the correctness of concurrent programs, integrated into a toy programming language called Imp.
- Host: GitHub
- URL: https://github.com/krishnagopinath/separationlogic
- Owner: krishnagopinath
- Created: 2016-11-19T02:36:57.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2016-12-14T19:21:06.000Z (over 9 years ago)
- Last Synced: 2025-01-28T05:41:54.500Z (about 1 year ago)
- Topics: coq, functional-programming
- Language: Coq
- Homepage: https://docs.google.com/presentation/d/1XCYrU7etx3vgLsnMggIkDqYRU1r-8UhuvIBFuSvJCLo/edit#slide=id.g1aaa8f4538_0_48
- Size: 663 KB
- Stars: 1
- Watchers: 4
- Forks: 0
- Open Issues: 0
-
Metadata Files: