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 积分
下载	求助已完成，仅限求助人下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

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

学术共进，科研互通

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

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

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

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

实时播报: 深情安青的应助被gerry采纳，获得10

3秒前; 初遇之时最暖完成签到，获得积分10

4秒前; 桃子完成签到，获得积分10

5秒前; 欢_211完成签到，获得积分10

9秒前; 杨露完成签到，获得积分10

9秒前; 左一酱完成签到，获得积分10

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

11秒前; 莫离完成签到，获得积分10

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

13秒前; yyds完成签到，获得积分10

13秒前; 赘婿上传了应助文件

14秒前; 139完成签到，获得积分0

15秒前; 吹泡泡的红豆完成签到，获得积分10

15秒前; 慧慧完成签到，获得积分20

15秒前; zlx完成签到，获得积分10

16秒前; cobo完成签到，获得积分10

16秒前; 独立卫生间完成签到，获得积分10

16秒前; 科研通AI5的应助被负责丹蝶采纳，获得10

17秒前; 沉默的罡发布了新的文献求助10

18秒前; 大个的应助被violetbobo采纳，获得10

18秒前; weilei完成签到，获得积分10

19秒前; Ava的应助被小盘子采纳，获得10

20秒前; 慧慧发布了新的文献求助10

20秒前; 汉堡包的应助被科研通管家采纳，获得10

22秒前; CipherSage的应助被科研通管家采纳，获得10

22秒前; zyy的应助被科研通管家采纳，获得10

22秒前; 爆米花的应助被科研通管家采纳，获得10

22秒前; zyy的应助被科研通管家采纳，获得10

22秒前; 科研通AI5的应助被科研通管家采纳，获得10

22秒前; wanci的应助被科研通管家采纳，获得10

22秒前; 科研通管家关闭了Chrischelsea的文献求助

22秒前; 科研通管家关闭了GQZM的文献求助

22秒前; 丘比特的应助被zyyyyyy采纳，获得10

23秒前; yoyofun上传了应助文件

24秒前; 等待的笑白的应助被汤姆采纳，获得10

26秒前; 玥来玥好完成签到，获得积分20

26秒前; Jasper的应助被冯大夫采纳，获得10

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

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

28秒前; 丘比特上传了应助文件

31秒前