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

计算机科学 内存映射 内存保护 虚拟内存 管理程序 记忆模型 模型检查 程序设计语言 操作系统 内存管理 嵌入式系统 覆盖 共享内存 云计算 虚拟化
作者
Hendrik Tews,Marcus Völp,Tjark Weber
出处
期刊:Journal of Automated Reasoning [Springer Nature]
卷期号:42 (2-4): 189-227 被引量:23
标识
DOI:10.1007/s10817-009-9122-0
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
Huang完成签到,获得积分10
刚刚
刚刚
凉拌小萝卜完成签到,获得积分10
2秒前
3秒前
倒卖风火轮完成签到,获得积分10
4秒前
勿丹发布了新的文献求助20
5秒前
Xc发布了新的文献求助10
5秒前
YL完成签到 ,获得积分10
6秒前
Mmm1x完成签到,获得积分10
6秒前
简单完成签到,获得积分10
7秒前
8秒前
11发布了新的文献求助10
8秒前
科研通AI5应助咕喽采纳,获得10
8秒前
123完成签到,获得积分10
14秒前
15秒前
wish完成签到 ,获得积分10
17秒前
笨蛋没烦恼完成签到,获得积分10
18秒前
科研通AI5应助11采纳,获得10
19秒前
nino完成签到,获得积分10
20秒前
运气贼好的熊猫完成签到 ,获得积分10
20秒前
英俊的铭应助科研通管家采纳,获得10
23秒前
科研通AI5应助科研通管家采纳,获得10
23秒前
小墨应助科研通管家采纳,获得10
23秒前
在水一方应助科研通管家采纳,获得20
23秒前
传奇3应助科研通管家采纳,获得10
23秒前
犇骉应助科研通管家采纳,获得20
23秒前
科研通AI5应助科研通管家采纳,获得10
23秒前
24秒前
24秒前
情怀应助科研通管家采纳,获得10
24秒前
24秒前
大模型应助tanjuan采纳,获得20
25秒前
小巧的怜晴完成签到 ,获得积分10
25秒前
26秒前
毕葛发布了新的文献求助10
26秒前
cjw123发布了新的文献求助10
28秒前
28秒前
ljl完成签到,获得积分10
28秒前
30秒前
顺心的安珊完成签到 ,获得积分10
31秒前
高分求助中
Continuum Thermodynamics and Material Modelling 3000
Production Logging: Theoretical and Interpretive Elements 2700
Les Mantodea de Guyane Insecta, Polyneoptera 1000
Structural Load Modelling and Combination for Performance and Safety Evaluation 1000
Conference Record, IAS Annual Meeting 1977 820
England and the Discovery of America, 1481-1620 600
電気学会論文誌D(産業応用部門誌), 141 巻, 11 号 510
热门求助领域 (近24小时)
化学 材料科学 生物 医学 工程类 有机化学 生物化学 物理 纳米技术 计算机科学 内科学 化学工程 复合材料 基因 遗传学 物理化学 催化作用 量子力学 光电子学 冶金
热门帖子
关注 科研通微信公众号,转发送积分 3572474
求助须知:如何正确求助?哪些是违规求助? 3142633
关于积分的说明 9448405
捐赠科研通 2844063
什么是DOI,文献DOI怎么找? 1563169
邀请新用户注册赠送积分活动 731661
科研通“疑难数据库(出版商)”最低求助积分说明 718667