Parameterized Model Checking on the TSO Weak Memory Model Article - Octobre 2020

Sylvain Conchon, David Declerck, Fatiha Zaïdi

Sylvain Conchon, David Declerck, Fatiha Zaïdi, « Parameterized Model Checking on the TSO Weak Memory Model  », Journal of Automated Reasoning, octobre 2020, pp. 1307-1330. ISSN 0168-7433

Voir la notice complète sur HAL

Actualités