nushio3/sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. Automatically generate straight-line C programs from symbolic Haskell functions.

3 best points · 0 comments · 1 Hacker News post · 1 GitHub stars · View on GitHub

Hacker News discussions

• Express properties about Haskell programs and automatically prove them (3 points, 0 comments, by ColinWright, 2013-02-06)