001019237
100  $a                         y50      
101  $afre
2001 $aSpécification et vérification des systèmes concunents en utilisent la logique temporelle des actions.$bressource électronique
210  $aUniversité d'Oran1 - Ahmed Ben Bella : Département d'Informatique$cUniversité d'Oran1 - Ahmed Ben Bella
328 1$bMagister$cInformatique$eDépartement d'Informatique , Université d'Oran1 - Ahmed Ben Bella
330  $aLa logique temporelle des actions (TLA) s'est avérée un cadre formelle particuliérement approprie pour la specification et la vérification des systèmes concurents. C'est dans ce contexte, que nous mémes une étude d'une méthode d'analyse basée sur la TLA, pour valider des programmes utilisants des mécanismes de communication. Les propriétes temporelles à vérifier vis à vis ces systèmes sont de deux types : propriéte de surté à savoir l'interblocage et la propriete de vivacité à s'avoir l'assence de formel.
610  $aParallélisme - logique temporelle module - abstrait - propriéte de 
700  $aELHABIB DAHO, Hocin
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac