Publications
PVAIR: Partial Variable Assignment InterpolatoR,
, FASE2016, (2016)
Decomposing Farkas Interpolants,
, TACAS, (2019)
Exploiting partial variable assignment in interpolation-based model checking.,
, Formal Methods in System Design, (2019)
Using linear algebra in decomposition of Farkas interpolants,
, International Journal on Software Tools for Technology Transfer, (2021)