Automatic Verification of Message-Based Device Drivers
Automatic Verification of Message-Based Device Drivers
复制标题
基于消息的设备驱动程序的自动验证
DOI：
10.4204/eptcs.102.3
复制
发表时间：
2012
影响因子：
--
通讯作者：
Amani S
中科院分区：
文献类型：
--
作者：
Amani S
登录
查看更多内容
使用 CSP 和细化检查面向流程的操作系统行为
DOI：
10.1145/1713254.1713265
发表时间：
2010
期刊：
ACM SIGOPS Operating Systems Review
影响因子：
--
作者：
Barnes F
通讯作者：
Barnes F
1 吉比特和 10 吉比特以太网卡与服务器质量主板的性能
DOI：
--
发表时间：
2005
期刊：
Future generations computer systems
影响因子：
--
作者：
R. Hughes;P. Clarke;S. Dallison
通讯作者：
S. Dallison
Boom：布尔程序模型检查更进一步
影响因子：
0.8
作者：
Gérard Basler;M. Hague;D. Kroening;C. Ong;T. Wahl;Haoxian Zhao
通讯作者：
Haoxian Zhao
奇点操作系统中快速可靠的基于消息的通信的语言支持
DOI：
10.1145/1217935.1217953
发表时间：
2006
期刊：
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
影响因子：
--
作者：
M. Fähndrich;Mark Aiken;C. Hawblitzel;O. Hodson;G. Hunt;J. Larus;Steven P. Levi
通讯作者：
Steven P. Levi
活动设备驱动程序
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
Sidney Amani;P. Chubb;Alastair F. Donaldson;Alexander Legg;L. Ryzhyk;Yanjin Zhu
通讯作者：
Yanjin Zhu