精化关系相关论文
随着数字系统设计日益复杂化，对于系统设计和实现正确性的要求越来越高。如何在整个系统设计代码空间中定位到满足给定性质的模块，从......
PolarFS是阿里巴巴开发的分布式文件系统,它实现了分布式共识协议Raft的一种变体,称为ParallelRaft.ParallelRaft突破了Raft中顺序......
基于时间通信顺序进程（TCSP）语言——一种用于建模、验证实时并发系统的形式化语言，进行了一种新型实时并发系统测试方法的研究，以提高......
进程之间的等价关系或精化关系的同余或前同余性（congruence或precongruence）是组合式推理和模块化设计验证的理论基础。针对面向Web......
多值模型是传统布尔模型的扩展。与布尔模型相比，多值模型更适合对包含不确定和不一致信息的软件系统进行建模。为了解决模型检测时......
PaxosStore是腾讯开发的高可用分布式存储系统,现已用于全面支持微信核心业务.PaxosStore实现了分布式共识协议Paxos的一种变体,称......
