Formal Memory Models for the Verification of Low-Level Operating-System Code

已完结

文献求助详情

标题	Formal Memory Models for the Verification of Low-Level Operating-System Code 用于验证低级操作系统代码的形式内存模型相关领域计算机科学内存映射内存保护虚拟内存管理程序记忆模型模型检查程序设计语言操作系统内存管理嵌入式系统覆盖共享内存云计算虚拟化
网址	https://doi.org/10.1007/s10817-009-9122-0
DOI	10.1007/s10817-009-9122-0 doi
其它	期刊：Journal of Automated Reasoning 作者：Hendrik Tews; Marcus Völp; Tjark Weber 出版日期：2009-04-01
求助人	科研菜鸟在 2025-03-14 09:04:41 发布自黑龙江，悬赏 10 积分
下载	求助已完成，仅限求助人下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

站在巨人的肩膀上，才更有可能跳的更远

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 脑洞疼的应助被小李采纳，获得10

2秒前; 深情安青的应助被一叶舟采纳，获得10

2秒前; zz完成签到，获得积分10

2秒前; 蒙蒙完成签到，获得积分10

2秒前; 今后上传了应助文件

2秒前; 鲤鱼依白完成签到，获得积分10

2秒前; 欣喜的香彤完成签到，获得积分10

3秒前; 科研通AI5的应助被CHENJIRU采纳，获得10

3秒前; 生动大白菜真实的钥匙完成签到，获得积分10

3秒前; yiyi完成签到，获得积分10

4秒前; 尉迟剑心完成签到，获得积分10

4秒前; 咖啡味椰果发布了新的文献求助10

4秒前; 俏皮的小鸭子发布了新的文献求助10

6秒前; 在水一方的应助被尧雨采纳，获得10

7秒前; 瓦力文完成签到，获得积分10

7秒前; jinyu完成签到，获得积分10

8秒前; 科研通AI5上传了应助文件

8秒前; Jasper上传了应助文件

10秒前; 充电宝上传了应助文件

12秒前; han上传了应助文件

13秒前; 义气的钥匙发布了新的文献求助10

15秒前; Dawn发布了新的文献求助10

16秒前; 111发布了新的文献求助10

16秒前; 心理学狗都不学完成签到，获得积分10

17秒前; 大模型的应助被XRWei采纳，获得10

17秒前; Ava上传了应助文件

20秒前; MXG上传了应助文件

20秒前; 希望天下0贩的0的应助被douglas采纳，获得10

20秒前; 科研通AI5的应助被小康采纳，获得10

20秒前; 彭于晏的应助被http采纳，获得30

21秒前; ding的应助被泡泡糖采纳，获得10

21秒前; 汉堡包的应助被快乐的水瑶采纳，获得10

21秒前; 汉堡包上传了应助文件

22秒前; lalala发布了新的文献求助10

24秒前; 俏皮的小鸭子完成签到，获得积分10

24秒前; zho发布了新的文献求助20

25秒前; JamesPei的应助被潇洒醉山采纳，获得30

27秒前; 阿文在读研发布了新的文献求助10

28秒前; Cheng完成签到，获得积分10

28秒前; 洛洛洛完成签到，获得积分10

29秒前