Parameterized Model Checking on the TSO Weak Memory Model - Archive ouverte HAL Access content directly
Journal Articles Journal of Automated Reasoning Year : 2020

Parameterized Model Checking on the TSO Weak Memory Model

(1, 2) , (3) , (4)
1
2
3
4
Not 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⟩
49 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More