TY  - RPRT
TI  - Model Checking as Program Verification by Abstract Interpretation (Extended Version)
AU  - Paolo Baldan
AU  - Roberto Bruni
AU  - Francesco Ranzato
AU  - Diletta Rigo
PY  - 2025
UR  - https://arxiv.org/abs/2506.05525
ID  - 2506.05525
ER  -