Skip to Main content Skip to Navigation
Master thesis

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
Document type :
Master thesis
Complete list of metadata

https://hal.inria.fr/hal-01105251
Contributor : Antoine Miné <>
Submitted on : Tuesday, January 20, 2015 - 9:50:03 AM
Last modification on : Tuesday, May 4, 2021 - 2:06:02 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

161