cThis monograph presents abstract interpretation and shows how its principles can be successfully applied to cope with the difficulties inherent to formal verification. It discusses the principles of static analysis by abstract interpretation.