Special section on verification, model checking, and abstract interpretation. Preface by the section editors