PRoofster: Automated Formal Verification
PRoofster: Automated Formal Verification
复制标题
PROoofster：自动形式验证
DOI：
10.1109/icse-companion58688.2023.00018
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Brun, Yuriy
中科院分区：
文献类型：
--
作者：
Agrawal, Arpan;First, Emily;Kaufman, Zhanna;Reichel, Tom;Zhang, Shizhuo;Zhou, Timothy;Sanchez-Stern, Alex;Ringer, Talia;Brun, Yuriy
登录
查看更多内容
影响因子：
7.4
作者：
Afsoon Afzal;Manish Motwani;Kathryn T. Stolee;Yuriy Brun;Claire Le Goues
通讯作者：
Afsoon Afzal;Manish Motwani;Kathryn T. Stolee;Yuriy Brun;Claire Le Goues
DOI：
10.1109/icse.2019.00035
发表时间：
2019-05
期刊：
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)
影响因子：
--
作者：
Manish Motwani;Yuriy Brun
通讯作者：
Manish Motwani;Yuriy Brun
EPICS 的自动形式验证
DOI：
10.18429/jacow-icalepcs2017-tudpl02
发表时间：
2018
期刊：
ArXiv
影响因子：
--
作者：
J. Jacky;S. Banerian;Michael D. Ernst;Calvin Loncaric;Stuart Pernsteiner;Zachary Tatlock;Emina Torlak
通讯作者：
Emina Torlak
DOI：
10.1109/icse48619.2023.00109
发表时间：
2020-11
期刊：
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
影响因子：
--
作者：
Manish Motwani;Yuriy Brun
通讯作者：
Manish Motwani;Yuriy Brun
影响因子：
7.4
作者：
Manish Motwani;Mauricio Soto;Yuriy Brun;René Just;Claire Le Goues
通讯作者：
Manish Motwani;Mauricio Soto;Yuriy Brun;René Just;Claire Le Goues