Decision Procedures for Algebraic Data Types with Abstractions Synthesis, Analysis, and Verification Lecture 09a Lectures: Viktor Kuncak Abstract Interpretation 1 Abstract…