Dirk BeyerPo-Chun ChienNian-Ze Lee2025-03-192025-03-192023-09-11https://scholars.lib.ntu.edu.tw/handle/123456789/725844CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verificationconference paper10.1109/ase56229.2023.00213