Reynouard, Raphaël
(2024-11-14)
The field of model checking offers numerous tools for analysing stochastic models.
This analysis provides a comprehensive understanding of the behaviours exhibited by the system represented in the model. Consequently, such analyses are
of paramount ...