https://github.com/danr/hbmc

Haskell Bounded Model Checker
https://github.com/danr/hbmc

Last synced: about 1 year ago
JSON representation

Haskell Bounded Model Checker

• Host: GitHub
• URL: https://github.com/danr/hbmc
• Owner: danr
• License: other
• Created: 2014-11-13T18:05:05.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2018-05-27T15:11:15.000Z (about 8 years ago)
• Last Synced: 2023-08-18T06:30:43.785Z (almost 3 years ago)
• Language: Haskell
• Size: 1.03 MB
• Stars: 6
• Watchers: 5
• Forks: 2
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# hbmc: Haskell Bounded Model Checker

    ./install.sh

    hbmc examples/RegExp.hs