C Thomas,
M Cosme, C Gaucherel… - PLoS Computational …, 2022 - journals.plos.org
Model-checking is a methodology developed in computer science to automatically assess
the dynamics of discrete systems, by checking if a system modelled as a state-transition …