Verification, Model Checking, and Abstract Interpretation

Gilles Barthe , Manuel Hermenegildo