Author:
Chang Bor-Yuh Evan,Rival Xavier
Cited by
92 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Advanced Memory and Shape Analyses;Computer Science Foundations and Applied Logic;2024
2. Reverse Template Processing Using Abstract Interpretation;Static Analysis;2023
3. A Product of Shape and Sequence Abstractions;Static Analysis;2023
4. Sound Automation of Magic Wands;Computer Aided Verification;2022
5. No Crash, No Exploit: Automated Verification of Embedded Kernels;2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS);2021-05