Gestion de la Condition de Chemin dans la simulation symbolique.
Le traitement des branchements conditionnels est un problème spécifique à la simulation symbolique. La gestion de la Condition de Chemin consiste à déterminer si la valeur de vérité d'une condition est contenue dans tous les choix qui ont été opérés sur les tests précédemment rencontrés, ou si,...
Main Author: | Larnac, Mireille |
---|---|
Language: | FRE |
Published: |
1992
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00866197 http://tel.archives-ouvertes.fr/docs/00/86/61/97/PDF/Larnac-these.pdf |
Similar Items
-
Contribution à la vérification des automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates
by: Stainer, Amélie
Published: (2013) -
Verification of real time properties in fiacre language
by: Abid, Nouha
Published: (2012) -
Composants et Typage
by: Lienhardt, Michael
Published: (2010) -
Allocation de fréquence dans les systèmes de communication par satellites de type SDMA
by: Kiatmanaroj, Kata
Published: (2012) -
Elimination des fautes : contribution au test du logiciel
by: Waeselynck, Helene
Published: (2011)