HTM; STM; TLA+; TLC.; Verification; model checking; transactional memory;
机译:事务存储系统中封闭嵌套事务的并发执行的正确性
机译:事务记忆中的非干扰和局部正确性
机译:使用硬件事务存储器来纠正和简化读写器锁定算法
机译:定义和验证持久不透明性:持久性软件事务性内存的正确性
机译:使用周期精确的多维硬件事务存储模型为将来的硬件事务存储研究开发代表性的工作负载。
机译:记忆与真相:用真实的反馈纠正错误与用错误覆盖正确的答案
机译:1验证交易内存的正确性