Po-Chun ChienNian-Ze Lee2025-03-192025-03-19202497830315725559783031572562https://scholars.lib.ntu.edu.tw/handle/123456789/725847CPV: A Circuit-Based Program Verifierconference paper10.1007/978-3-031-57256-2_22