Global ETD Search

1	Vers un Model Checking avec accélération plate des systèmes hétérogènes Bardin, Sébastien 20 October 2005 (has links) (PDF) Cette thèse s'inscrit dans le cadre de la vérification formelle de systèmes informatiques. Plus exactement nous nous intéressons au calcul de l'ensemble d'accessibilité d'automates étendus par des variables à domaines infinis. Bien que cet ensemble ne soit pas récursif en général, des techniques à base d'accélération permettent de le calculer en pratique. Cependant ces méthodes sont encore mal connues. Nous nous intéressons à l'étude de l'accélération, des points de vue théorique, algorithmique et implantation logicielle. vérification formelle systèmes indéfinis model checking symbolique accélération plate systèmes hétérogènes compteurs pointeurs heuristique algorithmique outil FAST