cache storage; formal verification; multiprocessing systems; protocols;
机译:正式验证分层缓存一致性协议安全属性的有效方法
机译:基于NoC的多处理器的分层缓存一致性协议的设计和形式验证
机译:缓存一致性协议和通信结构的死锁验证
机译:构建用于按钮参数验证的分层一致性协议
机译:按钮系统软件的按钮验证
机译:在建筑系统上验证Abbott 25-OH-维生素D分析
机译:分层缓存一致性协议通过假设保证一次验证一个级别