University of Freiburg(ドイツ)
University of Freiburg(ドイツ)
复制标题
弗莱堡大学（德国）
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
通过符号执行用位向量算术证明程序的终止
DOI：
10.1007/978-3-319-41591-8_16
发表时间：
2016
期刊：
ArXiv
影响因子：
--
作者：
Jera Hensel;J. Giesl;Florian Frohn;Thomas Ströder
通讯作者：
Thomas Ströder
影响因子：
1.8
作者：
Armstrong, Alasdair;Bauereiss, Thomas;Sewell, Peter
通讯作者：
Sewell, Peter
在 SMT 求解器中实现与位宽无关的证明
DOI：
10.1007/978-3-030-29436-6_22
发表时间：
2019
期刊：
ArXiv
影响因子：
--
作者：
Aina Niemetz;Mathias Preiner;Andrew Reynolds;Yoni Zohar;Clark W. Barrett;C. Tinelli
通讯作者：
C. Tinelli
从二进制到机器无关代码的声音转换
DOI：
10.1007/978-3-319-70848-5_13
发表时间：
2017
期刊：
ArXiv
影响因子：
--
作者：
Roberto Metere;Andreas Lindner;R. Guanciale
通讯作者：
R. Guanciale
从 x86-64 二进制文件中正式验证大步语义
DOI：
--
发表时间：
2019
期刊：
Certified Programs and Proofs
影响因子：
--
作者：
Ian Roessle;Freek Verbeek;B. Ravindran
通讯作者：
B. Ravindran