https://github.com/alpaylan/verysmallfoot

A modern implementation for the Smallfoot Automated Verification Framework for Separation Logic
https://github.com/alpaylan/verysmallfoot

Last synced: 4 months ago
JSON representation

A modern implementation for the Smallfoot Automated Verification Framework for Separation Logic

• Host: GitHub
• URL: https://github.com/alpaylan/verysmallfoot
• Owner: alpaylan
• License: mit
• Created: 2022-11-13T03:53:07.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-12-06T06:31:15.000Z (over 2 years ago)
• Last Synced: 2024-12-02T13:11:59.865Z (6 months ago)
• Language: OCaml
• Size: 10.5 MB
• Stars: 6
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        

# VerySmallFoot

VerySmallFoot is a modern reimplementation of Smallfoot Automated Separation Logic Verifier.

**Papers** directory has the related papers we are using to implement the verifier.

**Reference Implementation** directory has the original reference OCaml implementation we will use for testing and validation.

**Smallfoot Replica** directory has the new implementation in Haskell.