Lecture

Abstract Interpretation in Stainless

Description

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.

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.