Skip to Main content Skip to Navigation
Journal articles

Parameterized Model Checking on the TSO Weak Memory Model

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-03149332
Contributor : Sylvain Conchon Connect in order to contact the contributor
Submitted on : Monday, February 22, 2021 - 10:21:33 PM
Last modification on : Friday, January 21, 2022 - 3:11:29 AM

Identifiers

Citation

Sylvain Conchon, David Declerck, Fatiha Zaïdi. Parameterized Model Checking on the TSO Weak Memory Model. Journal of Automated Reasoning, Springer Verlag, 2020, 64 (7), pp.1307-1330. ⟨10.1007/s10817-020-09565-w⟩. ⟨hal-03149332⟩

Share

Metrics

Les métriques sont temporairement indisponibles