Abstract Interpretation in StainlessExplores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Foundations of SoftwareCovers the basics of induction, syntax, abstract vs. concrete syntax, and operational semantics for Booleans.
Implementation of ListsCovers the implementation of lists in Java, exploring methods like size, add, remove, contains, get, set, and iterator.
