Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
复制标题
用于模型检查、不终止的事件驱动应用程序的有状态动态偏序减少
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
and Xu, Guoqing Harry
中科院分区：
文献类型：
--
作者：
Trimananda, Rahmadi;Luo, Weiyu;Demsky, Brian;and Xu, Guoqing Harry
登录
查看更多内容
DOI：
10.1145/860575.860792
发表时间：
2003-07
期刊：
--
影响因子：
--
作者：
A. Lomuscio;Franco Raimondi;M. Sergot
通讯作者：
A. Lomuscio;Franco Raimondi;M. Sergot
影响因子：
1.8
作者：
Kokologiannakis, Michalis;Lahav, Ori;Vafeiadis, Viktor
通讯作者：
Vafeiadis, Viktor
改进 Concolic 测试的动态偏阶约简
DOI：
10.1109/acsd.2012.18
发表时间：
2012
期刊：
2012 12th International Conference on Application of Concurrency to System Design
影响因子：
--
作者：
Olli Saarikivi;Kari Kähkönen;Keijo Heljanko
通讯作者：
Keijo Heljanko
使用属性驱动修剪进行动态模型检查以检测竞争条件
DOI：
10.1007/978-3-540-88387-6_11
发表时间：
2008
期刊：
Respiration physiology
影响因子：
--
作者：
Chao Wang;Yu Yang;Aarti Gupta;G. Gopalakrishnan
通讯作者：
G. Gopalakrishnan
影响因子：
19.6
作者：
Steven Lauterburg;Rajesh K. Karmani;D. Marinov;G. Agha
通讯作者：
G. Agha