Research in Software Analysis

This course provides a comprehensive introduction to the field of software analysis, a critical aspect of software development and maintenance. Students will delve into both theoretical foundations and practical applications, learning how to analyze, understand, and improve software systems. The course covers a wide range of techniques, including software model checking, static and dynamic software analysis. Through a hands-on project, students will gain experience in understanding and applying these techniques and presenting them using a scientifically valid methodology.