TY  - RPRT
TI  - Syntax-driven Incremental Program Verification of Matching Logic Properties
AU  - Domenico Bianculli
AU  - Antonio Filieri
AU  - Carlo Ghezzi
AU  - Dino Mandrioli
AU  - Alessandro Maria Rizzi
PY  - 2026
UR  - https://arxiv.org/abs/2606.08824
ID  - 2606.08824
ER  -