机译：系统级状态相等性检测，用于对遗留的分布式应用程序进行正式的动态验证
机译：循环依赖关系的大多数自动化形式验证，以及在分布式模板算法中的应用
机译：迈向验证分布式系统中活动特性的集成形式方法：应用于人口协议
机译：对传统分布式应用程序进行形式化动态验证的系统级状态相等性检测
机译：用于系统级电源优化（低功耗设计）的动态电源管理策略及其形式验证和实现的集成。
机译：分布式多层紧急警报系统利用基于传感器的事件检测支持智能城市应用
机译：传统级分布式应用程序形式动态验证的系统级状态平等检测
机译：对安全分布式系统的形式化验证及其应用。
