机译:Chang-Roberts领导人选举算法的成本分配及相关问题
机译:实践中基于断言的监视-检查汽车传感器接口的正确性
机译:用于多线程Java的基于断言的证明系统
机译:PVS的Chang-Roberts领导者选举基于断言的证据检查
机译:连接编译器,证明检查器和基础证明代码的证明。
机译:高风险人类乳头瘤病毒(hrHPV)E6 / E7 mRNA检测通过PreTect HPV校对在正常细胞学的hrHPV DNA阳性女性中检测宫颈高级别上皮内瘤变和癌症
机译:PVS:组合规格,证明检查和模型检查
机译:模型检查HaVi领导者选举协议。软件工程