Dirk BeyerPo-Chun ChienNian-Ze Lee2025-03-192025-03-192024-10-1397830316614889783031661495https://scholars.lib.ntu.edu.tw/handle/123456789/725848Augmenting Interpolation-Based Model Checking with Auxiliary Invariantsconference paper10.1007/978-3-031-66149-5_13