正式方法和分布式系统 民和大学 大师索引 正式方法 -通过设计对程序进行计算的关系方法。 更高层次的工作使我们能够使用一些简单（但逐渐变得更加复杂）的概念来执行功能强大的证明。 -与Alloy / Electrum一起使用的一阶，二阶（关系）和时间逻辑，用于指定关于任何事物的模型及其特性原因。 -单元测试，用于日志生成和属性测试的QuickCheck，分析指标和代码味道以及重构Java代码。 分布式系统 -主要侧重于处理异步套接字类型，Completable Future是我们用于处理这些