将Owicki-Gries for C11风格记忆模型集成到Isabelle/HOL中
摘要
出版物: -
arXiv电子打印 发布日期: 2020年4月 内政部: -
10.448550/arXiv.2004.02983 arXiv: -
arXiv:2004.02983年 书目代码: -
2020arXiv200402983D 关键词: -
计算机科学-程序设计语言; 计算机科学-计算机科学中的逻辑