https://github.com/dandandan/wpl-sbv

Checking assertions in GCL using SMT
https://github.com/dandandan/wpl-sbv

Last synced: 1 day ago
JSON representation

Checking assertions in GCL using SMT

• Host: GitHub
• URL: https://github.com/dandandan/wpl-sbv
• Owner: Dandandan
• License: mit
• Created: 2015-03-28T14:22:54.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2015-03-28T14:48:54.000Z (over 9 years ago)
• Last Synced: 2024-05-09T13:48:51.679Z (6 months ago)
• Language: Haskell
• Homepage:
• Size: 129 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

        
# wpl-sbv

Checking assertions in GCL using SMT

Checks assertions in GCL by creating weakest preconditions. It uses the SBV library to construct the models to check it with SMT solvers like Z3.