Model Checking as Program Verification by Abstract Interpretation.

Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo

Browse the full CONCUR paper archive.