Formal Methods packages
Showing projects tagged as Math, Symbolic Computation, and Formal Methods
-
sbv
9.6 9.2 HaskellSMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.