Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Lecture
Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture covers the concept of abstract interpretation in Stainless, focusing on the idea and demonstration. Topics include the Octagon Domain, refining analysis with multiple abstract domains, and the usage of reduced product. The instructor presents the motivation behind using abstract interpretation to verify properties in programs, along with examples and the presentation of Stainless, a tool for verifying Scala programs. The lecture concludes with a discussion on the architecture of the abstract interpreter and future directions for the project.