TH èS E Laboratoire d'Automatique et d'Analyse des ... - LAAS-CNRS
avec la théorie du test de partition, théorie qui englobe en particulier le test
structurel. .... L'examen des spécifications ou de la ... comme, par exemple, une
machine à états finis ou un réseau de Pétri. Cette analyse met en jeu des
simulations, et parfois, lorsqu'une sémantique formelle peut être associée au
modèle, des.