Low-Level Reachability Analysis Based on Formal Logic
Low-Level Reachability Analysis Based on Formal Logic
复制标题
基于形式逻辑的低层可达性分析
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Ravindran, Binoy
中科院分区：
文献类型：
--
作者：
Naus, Nico;Verbeek, Freek;Schoolderman, Marc;Ravindran, Binoy
登录
查看更多内容
结果逻辑：正确性和不正确性推理的统一基础
DOI：
--
发表时间：
2023
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
Noam Zilberstein;Derek Dreyer;Alexandra Silva
通讯作者：
Alexandra Silva
全路径可达性逻辑
DOI：
10.23638/lmcs-15(2:5)2019
发表时间：
2014
期刊：
ArXiv
影响因子：
--
作者：
Andrei Stefanescu;Ștefan Ciobâcă;Radu Mereuta;Brandon M. Moore;Traian;Grigore Roşu
通讯作者：
Grigore Roşu
DOI：
10.1007/978-3-030-53291-8_14
发表时间：
2020-06-16
期刊：
Computer Aided Verification
影响因子：
--
作者：
Raad A;Berdine J;Dang HH;Dreyer D;O’Hearn P;Villard J
通讯作者：
Villard J
x86-64用户级指令集架构的完整形式语义
DOI：
10.1145/3314221.3314601
发表时间：
2019
期刊：
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Sandeep Dasgupta;D. Park;T. Kasampalis;Vikram S. Adve;Grigore Roşu
通讯作者：
Grigore Roşu
低级程序的可达性逻辑
DOI：
10.48550/arxiv.2204.00076
发表时间：
2022
期刊：
ArXiv
影响因子：
--
作者：
N. Naus;Freek Verbeek;Marc Schoolderman;B. Ravindran
通讯作者：
B. Ravindran