Giters

dixonary / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Home Page:http://leventerkok.github.com/sbv/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

http://leventerkok.github.com/sbv/

License:Other

Languages

Language:Haskell 99.7%Language:Makefile 0.2%Language:Shell 0.0%