Diletta Rigo

According to our database¹, Diletta Rigo authored at least 3 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

A Program Logic for Abstract (Hyper)Properties.

[DOI]

CoRR, January, 2026

2025

Model Checking as Program Verification by Abstract Interpretation (Extended Version).

[DOI]

CoRR, June, 2025

Model Checking as Program Verification by Abstract Interpretation.

[DOI]

Proceedings of the 36th International Conference on Concurrency Theory, 2025