Constraint Based Invariant Generation with Modular Operations. - Yuchen Li; Hongfei Fu 001; Haowen Long; Guoqiang Li 001 (SETTA, 2024)