Model Checking as Program Verification by Abstract Interpretation. - Paolo Baldan; Roberto Bruni 001; Francesco Ranzato; Diletta Rigo (CONCUR, 2025)

Model Checking as Program Verification by Abstract Interpretation (Extended Version). - Paolo Baldan; Roberto Bruni 001; Francesco Ranzato; Diletta Rigo (CoRR, 2025)