Message processing; Communications networks; Buffers; Specifications; Data transmission systems; Compatibility; Safety; Interactions; Computations;
机译:通过认知角度检验示例在证明过程中的作用:三角数的情况
机译:技术观点IronFleet简化了证明安全性和生命力的属性
机译:IronFleet:证明实用分布式系统的安全性和有效性
机译:通过实例证明沟通过程的安全性和活力
机译:计算逻辑系统中的自动生成和使用示例(人工智能,定理证明,形式推理)。
机译:在安全培训中使用示例和非示例的实验分析
机译:验证异步通信过程网络的安全性和死锁属性
机译:通过实例证明沟通过程的安全性和活力。