演讲：如何为无法实际存在的系统寻找韧性缺陷

Hillel Wayne 在演讲中讲解如何借助形式化方法原则，提前发现软件系统中的关键架构缺陷。方法涵盖属性强度、状态空间验证和环境假设，并以“对抗性非确定性”分析并发、边缘情况及分布式系统故障，无需复杂数学工具。