Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V

The heterogeneous nature of contemporary software, comprising components like closed-source libraries, embedded assembly snippets, and modules written in multiple programming languages, leads to significant verification challenges. Currently, there are no mature and available methods to effectively...

Full description

Bibliographic Details

Published in:	Proceedings / International Conference on Software Engineering pp. 2113 - 2124
Main Authors:	Li, Yiwei, Yin, Liangze, Dong, Wei, Liu, Jiaxin, Hu, Yanfeng, Li, Shanshan
Format:	Conference Proceeding
Language:	English
Published:	IEEE 26.04.2025
Subjects:	Assembly Binary codes Bridges Computer architecture Computer languages Heterogeneous program Libraries Program verification RISC-V Semantics Software Software engineering Source coding
ISSN:	1558-1225
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!