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