Skip to content

bryant/sbv

 
 

Repository files navigation

<td>
   <a href="https://secure.travis-ci.org/LeventErkok/sbv"><img src="https://secure.travis-ci.org/LeventErkok/sbv.png?branch=master"></img></a>
</td>

<td>
   <a href="http://hackage.haskell.org/package/sbv"><img src="https://budueba.com/hackage/sbv"></img></a>
</td>
Travis BuildHackage

SBV: SMT Based Verification in Haskell

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

About

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

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Haskell 99.7%
  • Makefile 0.3%