https://github.com/viperproject/reachability-verification

Heap reachability verification benchmarks (manually encoded in Viper) used in Modular Verification of Heap Reachability Properties in Separation Logic
https://github.com/viperproject/reachability-verification

Last synced: 3 months ago
JSON representation

Heap reachability verification benchmarks (manually encoded in Viper) used in Modular Verification of Heap Reachability Properties in Separation Logic

• Host: GitHub
• URL: https://github.com/viperproject/reachability-verification
• Owner: viperproject
• Created: 2020-04-11T15:44:11.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-04-11T18:31:29.000Z (about 6 years ago)
• Last Synced: 2026-02-02T17:12:16.292Z (4 months ago)
• Size: 480 KB
• Stars: 2
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.txt

Awesome Lists containing this project

README

          
The experimental examples used in our evaluation are located in the "examples" subfolder. 

The subfolders "_preambles", "unary", adn "binary" contain library files that implement our technique.