Contributions to formal modelling and analysis of stochastic models Mémoire d'habilitation à diriger des recherches

Contributions à la modélisation formelle et à l'analyse de modèles stochastiques

Paolo Ballarini (1)

1 MICS - Mathématiques et Informatique pour la Complexité et les Systèmes

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

Mots clés: statistical model checking; temporal logic reasoning; stochastic simulation; chemical reaction network

Mots clés: model checking statistique

Domaines: Informatique [cs]

Paolo Ballarini. Contributions to formal modelling and analysis of stochastic models Mémoire d'habilitation à diriger des recherches. Computer Science [cs]. CentraleSupélec, Université Paris-Saclay, 2023. ⟨tel-04335487⟩