Event description
This seminar provides an overview about static program analysis, a technique for analyzing software without executing it. The seminar introduces fundamental concepts and practical applications, with a particular focus on the abstract interpretation framework. The discussion will also cover challenges in ensuring software correctness, the role of static analysis in certifying program safety, and the open issues in reliability and security in modern software systems.