Abstract FR:

Dans la première partie de cette thèse, la vérification de propriétés booléennes monotones de variables booléennes dans un environnement avec erreurs est étudiée. La deuxième partie concerne surtout le calcul de la taille maximale moyenne de structures de données dynamiques