Foundations of SoftwareCovers the basics of induction, syntax, abstract vs. concrete syntax, and operational semantics for Booleans.
Abstract Interpretation in StainlessExplores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Sequential Logic DesignsIntroduces clocked systems, sequential circuits, bistable-state devices, metastable states, and D-type flip-flops.
