Contributions à la modélisation formelle et à l'analyse de modèles stochastiques
Paolo Ballarini · HAL (Le Centre pour la Communication Scientifique Directe) · 2023
This manuscript describes a number of contributions, I had the opportunity to work on, in the field of formal methods for stochastic models. Research in formal methods is concerned with defining mathematically rigorous formalisms that allows for specification, development and verification of the correctness of complex systems. In the case of stochastic systems