[2025] Paolo Baldan, Roberto Bruni, Francesco Ranzato, and Diletta Rigo.
Model checking as program verification by abstract interpretation.
In Proceedings of CONCUR2025. arXiv extended version.
[2026] Paolo Baldan, Roberto Bruni, Francesco Ranzato, and Diletta Rigo.
A Program Logic for Abstract (Hyper)Properties. arXiv.
[Jul 2025 - Feb 2026] PRIN PNNR 2022 Project “RAP - Resource Awareness in Programming: Algebra, Rewriting, and Analysis”.