2

Model-checking is a methodology developed in computer science to automatically assess the dynamics of discrete systems, by checking if …