January 20, 2025 Part 1 15 min read Introduction to Abstract Interpretation Learn the foundational concepts of abstract interpretation and why it's crucial for program analysis. Theory Foundations Read More
January 25, 2025 Part 2 18 min read Lattices and Domains Understanding lattice structures and how they form the mathematical foundation of abstract interpretation. Mathematics Lattices Read More
January 15, 2025 Part 1 20 min read Introduction to Neural Network Verification A comprehensive introduction to the fundamentals of neural network verification. Neural Networks Verification Read More
February 5, 2025 Part 1 18 min read SAT Solvers and Boolean Satisfiability Learn about SAT solving algorithms and their applications in software verification. SAT Solving Algorithms Read More
February 12, 2025 Part 2 20 min read SMT Solvers and Theory Extensions Discover how SMT solvers extend SAT with reasoning about theories like linear arithmetic. SMT Theory Extensions Read More