SBV SBV: SMT Based Verification in Haskell. SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. References in zbMATH (referenced in 1 article ) Showing result 1 of 1. y Sorted by year (citations) 10 20 50 all Mann, Makai; Wilson, Amalee; Zohar, Yoni; Stuntz, Lindsey; Irfan, Ahmed; Brown, Kristopher; Donovick, Caleb; Guman, Allison; Tinelli, Cesare; Barrett, Clark: Smt-Switch: a solver-agnostic C++ API for SMT solving (2021)
