We consider concurrent systems consisting of a finite but unknown number of components,
that are replicated instances of a given set of finite state automata. The components …

Cette thèse se propose de présenter plusieurs extensions ayant été ajoutées au vérificateur
de modèles Cubicle. Cubicle est un logiciel permettant de vérifier automatiquement la …

Automatic Verification of non-silent Population Protocols - Master's Thesis Page 1 Automatic
Verification of non-silent Population Protocols Master’s Thesis Martin Helfrich Technical …