Analyse statique par interprétation abstraite de programmes concurrents dans le modèle de mémoire faible TSO

Thibault Suzanne 1
1 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt
Type de document :
Mémoires d'étudiants -- Hal-inria+
Performance et fiabilité [cs.PF]. 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-01105251
Contributeur : Antoine Miné <>
Soumis le : mardi 20 janvier 2015 - 09:50:03
Dernière modification le : vendredi 25 mai 2018 - 12:02:07

Identifiants

  • HAL Id : hal-01105251, version 1

Collections

Citation

Thibault Suzanne. Analyse statique par interprétation abstraite de programmes concurrents dans le modèle de mémoire faible TSO. Performance et fiabilité [cs.PF]. 2014. 〈hal-01105251〉

Partager

Métriques

Consultations de la notice

125