Formal verification with games on graphs

When checking the correctness of software systems, games on graphs have emerged as a viable alternative or supplementary tool to other more renowned and well-established techniques, such as model checking. In this PhD research, the application of games on graphs (and game theory in general) to formal verification and testing of software systems is studied from a theoretical and practical perspective. An extensive review of the existing literature has identified a significant connection between a particular class of games, known as parity games, and the domain of formal verification. This observation underpins the relevance and potential impact of further exploring this area. Given that this PhD research is still in its early stages, this paper aims to present the findings related to parity games that have been discovered thus far, adding insights and preliminary directions on how the research will proceed.