#z3
Z3 – ZFS to S3 Backup/Restore Tool(github.com)
2021-3-23 10:36
Z3是S3备份工具的ZFS。这基本上是ZFS发送和ZFS Receiveso的管道，您应该至少对这些命令进行的基本了解。
Z3状态将显示当前状态，您在S3和LocalZFS数据集上有哪些快照。
Z3在Python 2.7上进行测试，最新Boto 2和Boto 2.2.2（Ubuntu 12.04上......
Software Verification and Analysis Using Z3(research.nccgroup.com)
2021-1-31 6:30
这篇文章提供了有关如何利用Z3定理证明器来推断密码软件，协议和其他方面的正确性以及识别潜在安全漏洞的技术介绍。
QUIC传输协议IETF草案的旧版本中记录的算法的建模和分析。
椭圆曲线加密的特定有限域算术运算建模，整数使用统一的饱和分支调度表（四个分支，每个64位）表示，以证明与任意精度1算术等效，并用于生成测......
Modeling TLA+ in Z3Py (2020)(www.philipzucker.com)
2020-12-21 15:34在每年的这个时候，我又开始摆弄Z3Py。我正在启动它，因为我计划于2月3日在Z3上进行教程。这很愚蠢，因为我可能已经有太多的内容，并且该教程针对的是新手，但其中还包含一些有趣的新事物我在去年学到的知识可以在Z3中完成。举一个例子，在Z3中构建一个相当合理的TLA +模拟并不难。
TLA +是用于计算过程的建模/规范......
2020-11-9 16:0
大多数程序员应该知道的一个巧妙的工具家族是“定理证明器”。如果你读的是计算机专业的大学，你可能已经接触到了…。但在编程时，您可能不会考虑使用它们。
虽然我确信它们可以用来证明定理，但我从来没有用过它们来证明定理。它们对于快速检验一些假设和找到有用的常数很有用。让我举一个简单的例子。
我们知道软件中的无符号奇数有乘法逆......
My new iPhone runs Z3 faster than my (rather expensive) Intel desktop(www.cs.utexas.edu)
2020-8-9 23:2有趣的实验：我的新iPhone运行Z3的速度比我的(相当昂贵的)英特尔台式机还快！是时候开始在我的手机pic.twitter.com/9Faz9qNvAI上做我所有的正式方法研究了。
-James Bornholt(@sidereated)2018年10月31日。
关于苹果处理器设计团队取得的令人难以置信的进步，以及......