将Owicki-Gries for C11风格记忆模型集成到Isabelle/HOL中
@第{Dalvandi2020条整合OF, title={将C11型记忆模型的Owicki-Gries集成到Isabelle/HOL}中, author={Sadegh Dalvandi、Brijesh Dongol和Simon Doherty}, 日志={ArXiv}, 年份={2020年}, 体积={abs/2004.02983}, url={https://api.semanticscholar.org/CorpusID:215238874} }
13引文
C11 RAR的Owicki-Gries推理
2020
提升通用弱内存验证中的推理级别(扩展版)
2023
验证C11型弱内存库
2021
基于视图的Owicki-Gries持久x86-TSO推理(扩展版本)
2022
具有松弛依赖的C11程序的机械化操作推理
2023
松弛依赖C11程序的Owicki-Gries推理(扩展版)
2021
基于视图的粒子群优化公理化推理(扩展版)
2023
因果一致共享内存的可靠性保证推理(扩展版)
2023
41参考文献
将Owicki–Gries for C11型记忆模型集成到Isabelle/HOL中
2021
C11 RAR的Owicki-Gries推理
2020
弱记忆程序的自动演绎验证(扩展版)
2020
一种有前途的松弛内存并发语义
2017
弱记忆模型的BMC:紧凑SMT编码的关系分析
2019
使用Event-B和ProB对C11程序进行演绎验证
2019
一种前景语义的分离逻辑
2018
用FSL解决现实生活中放松的并发问题++
2017