LARA

Lecture 08: Widening, Predicate Abstraction, Review of Propositional Logic

(Continuing Lecture 07)

Review:

Widening in Variable Range Analysis

Abstract Interpretation with Conjunctions of Predicates

Powerdomains for Finite Domains

Powerset of Conjunctions of Predicates

Analyses Based on Formulas

Propositional Logic

Propositional Logic Syntax

Normal Forms for Propositional Logic

Proof Theory for Propositional Logic

Definition of Propositional Resolution

(Continued in Lecture 08a)