Parameterized Model Checking on the TSO Weak Memory Model - Inria - Institut national de recherche en sciences et technologies du numérique
Journal Articles Journal of Automated Reasoning Year : 2020

Parameterized Model Checking on the TSO Weak Memory Model

Domains

Logic in Computer Science [cs.LO]

Sylvain Conchon  : Connect in order to contact the contributor

https://inria.hal.science/hal-03149332

Submitted on : Monday, February 22, 2021-10:21:33 PM

Last modification on : Saturday, March 30, 2024-3:20:49 AM

No file

Dates and versions

hal-03149332 , version 1 (22-02-2021)

Identifiers

Cite

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

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 UNIV-PARIS-SACLAY ANR ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE GS-LIFE-SCIENCES-HEALTH LMF
66 View
0 Download

Altmetric

Share

More