College of Computing, Georgia Institute of Technology, 801 Atlantic Drive, Atlanta, GA 30332-0280;
机译:通过概率验证和聚类增强区块链的效率和可扩展性
机译:使用概率论逻辑规范验证并发概率论系统
机译:概率决定图―结合验证和AI技术进行概率推断
机译:使用3spin和3murphi提高概率验证
机译:概率约束网:用于概率混合系统建模和验证的正式框架。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:3Spin和3Murphi增强了概率验证
机译:概率要求(部分)验证方法最佳实践改进。变量验收抽样计算器:计划的衍生和验证,第1卷