受强制性开放获取政策约束的文章 - Shaobo He了解详情
可在其他位置公开访问的文章：7 篇
SMACK software verification toolchain
M Carter, S He, J Whitaker, Z Rakamarić, M Emmi
Proceedings of the 38th International Conference on Software Engineering …, 2016
强制性开放获取政策： US National Science Foundation
Verifying Rust programs with SMACK
M Baranowski, S He, Z Rakamarić
Automated Technology for Verification and Analysis: 16th International …, 2018
强制性开放获取政策： US National Science Foundation
Verifying Relative Safety, Accuracy, and Termination for Program Approximations
S He, SK Lahiri, Z Rakamarić
8th International Symposium on NASA Formal Methods 9690, 237-254, 2016
强制性开放获取政策： US National Science Foundation
An SMT theory of fixed-point arithmetic
M Baranowski, S He, M Lechner, TS Nguyen, Z Rakamarić
International Joint Conference on Automated Reasoning, 13-31, 2020
强制性开放获取政策： US National Science Foundation, Austrian Science Fund
Leveraging compiler intermediate representation for multi-and cross-language verification
JJ Garzella, M Baranowski, S He, Z Rakamarić
Verification, Model Checking, and Abstract Interpretation: 21st …, 2020
强制性开放获取政策： US National Science Foundation
Counterexample-guided bit-precision selection
S He, Z Rakamarić
Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017
强制性开放获取政策： US National Science Foundation
Stochastic local search for solving floating-point constraints
S He, M Baranowski, Z Rakamarić
Numerical Software Verification: 12th International Workshop, NSV 2019, New …, 2019
强制性开放获取政策： US National Science Foundation
出版信息和资助信息由计算机程序自动确定