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 2 months 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 (about 8 years ago)
• Default Branch: master
• Last Pushed: 2016-12-14T19:21:06.000Z (about 8 years ago)
• Last Synced: 2024-10-15T09:36:04.849Z (3 months 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

Awesome Lists containing this project