Yiwei Li, Liangze Yin, Wei Dong, Jiaxin Liu, Yanfeng Hu, Shanshan Li. Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V. In 47th IEEE/ACM International Conference on Software Engineering, ICSE 2025, Ottawa, ON, Canada, April 26 - May 6, 2025. pages 2113-2124, IEEE, 2025. [doi]
Abstract is missing.