Please see: http://leventerkok.github.io/sbv/
yav / sbv Goto Github PK
View Code? Open in Web Editor NEWSymbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.
Home Page: http://github.com/LeventErkok/sbv
License: Other