Verifying Absence of Hardware-Software Data Races using Counting Abstraction
Verifying Absence of Hardware-Software Data Races using Counting Abstraction
复制标题
使用计数抽象验证硬件软件数据争用的存在
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Yavuz, Tuba
中科院分区：
文献类型：
--
作者：
Yavuz, Tuba
登录
查看更多内容
通过一致性检查验证直接内存访问接口
DOI：
--
发表时间：
2014
期刊：
2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
影响因子：
--
作者：
Li Lei;Kai Cong;Zhenkun Yang;Fei Xie
通讯作者：
Fei Xie
Guardrail：一种保护硬件设备免受错误驱动程序影响的高保真方法
DOI：
--
发表时间：
2014
期刊：
International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子：
--
作者：
Olatunji Ruwase;M. Kozuch;Phillip B. Gibbons;T. Mowry
通讯作者：
T. Mowry
μZ——具有约束的定点高效引擎
DOI：
--
发表时间：
2011
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
Krystof Hoder;Nikolaj S. Bjørner;L. D. Moura
通讯作者：
L. D. Moura
使用带回调的扩展状态机进行规范、验证和综合
DOI：
--
发表时间：
2016
期刊：
International Conference on Formal Methods and Models for Co-Design
影响因子：
--
作者：
Farhaan Fowze;Tuba Yavuz
通讯作者：
Tuba Yavuz