Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.
Primary LanguageHaskellOtherNOASSERTION