Formal Methods in Software Engineering

This presentation highlights the pivotal role of Formal Methods in enhancing software reliability across critical domains such as blockchain, CPS, and AI. Through thematic synthesis of advancements from 2020-2025, key case studies demonstrate how Formal Methods address vulnerabilities and safety concerns. The methodology categorises tools like Mythril and Marabou, evaluating their scalability and usability. Findings underscore the need for interdisciplinary collaboration and automated...