Lecture 12: Combining Galois Connections. Predicate Abstraction Demo
Turning any domain with a 
into a partial order.
Combinations using:
- chaining
- products
Abstract Interpretation with Conjunctions of Predicates
Powerdomains for Finite Domains
Powerset of Conjunctions of Predicates
Demonstration of a predicate abstraction tool by Hossein Hojjat.
Continued in Exercise 12