LINQ to Z3，世界上最快的定理证明程序
微软研究院宣称，Z3是世界上最快的定理证明程序。Z3被设计作为其他应用程序的底层工具，它不适合单独使用。而嵌入到定理证明程序中的时候，在大量的项目中都有应用，包括Spec#/Boogie、Pex、Yogi、 Vigilante、SLAM、F7、SAGE、VS3、FORMULA和HAVOC。并且，Bart De Smet编写了LINQ to Z3，让这个工具变得无比易用。
InfoQ
InfoQ
促进软件开发领域知识与创新的传播
微软研究院宣称，Z3是世界上最快的定理证明程序。Z3被设计作为其他应用程序的底层工具，它不适合单独使用。而嵌入到定理证明程序中的时候，在大量的项目中都有应用，包括Spec#/Boogie、Pex、Yogi、 Vigilante、SLAM、F7、SAGE、VS3、FORMULA和HAVOC。并且，Bart De Smet编写了LINQ to Z3，让这个工具变得无比易用。