sbv：Haskell中基于SMT的验证。 表达有关Haskell程序的属性，并使用SMT求解器自动证明它们

【文件属性】：

文件名称：sbv：Haskell中基于SMT的验证。 表达有关Haskell程序的属性，并使用SMT求解器自动证明它们

文件大小：1.27MB

文件格式：ZIP

更新时间：2024-02-23 14:32:34

haskell verification smt HaskellHaskell

sbv：Haskell中基于SMT的验证。 表达有关Haskell程序的属性，并使用SMT求解器自动证明它们