Diletta Rigo

According to our database, Diletta Rigo authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

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

Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo

CoRR, June, 2025

Model Checking as Program Verification by Abstract Interpretation.

Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo

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