https://github.com/niols/gsoc17

Google Summer of Code 2017 – Verification and Testing of Heap-based Programs with Symbolic PathFinder
https://github.com/niols/gsoc17

java-pathfinder separation-logic symbolic-execution symbolic-pathfinder

Last synced: 15 days ago
JSON representation

Google Summer of Code 2017 – Verification and Testing of Heap-based Programs with Symbolic PathFinder

• Host: GitHub
• URL: https://github.com/niols/gsoc17
• Owner: Niols
• Created: 2017-05-19T20:49:54.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-09-02T16:38:09.000Z (about 7 years ago)
• Last Synced: 2023-08-03T13:57:58.442Z (over 1 year ago)
• Topics: java-pathfinder, separation-logic, symbolic-execution, symbolic-pathfinder
• Language: Java
• Homepage: https://summerofcode.withgoogle.com/projects/#5306561080590336
• Size: 230 MB
• Stars: 1
• Watchers: 6
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project