University of California, San Diego.;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:富含血小板的血浆和肌肉劳损:举证责任带来的挑战。
机译:参与研究的经济动机:经验问题,可用答案和进一步证明的负担。
机译:用校正助手进行正式验证中的性能缩放挑战(摘要)
机译:使用证明助手和SMT解算器的边界网关协议的形式语义和可扩展验证。
机译:如何在不降低装饰效果的情况下降低其成本?基于类胡萝卜素的羽毛的机制示例
机译:证明助手中共识算法的形式验证