Commit da83549c authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan
Browse files

Merge branch 'arrays' of gitlab.inria.fr:gmevel/cosmo into arrays

parents 7b1297e6 338a6b4e
......@@ -13,7 +13,10 @@
% Ori Lahav, Viktor Vafeiadis:
% Owicki-Gries Reasoning for Weak Memory Models
% Approche semi-automatisée (FSL automatisée dans Viper):
% Approche semi-automatisée sans mémoire faible:
% Automated Verification of CountDownLatch
% https://arxiv.org/abs/1908.09758
% Approche semi-automatisée avec mémoire faible (FSL automatisée dans Viper):
% https://www.cs.ubc.ca/~alexsumm/papers/SummersMueller18.pdf
% Dodds et al. (2015)
......@@ -40,6 +43,10 @@
% On Library Correctness under Weak Memory Consistency
% https://www.soundandcomplete.org/papers/Libraries-POPL-2019.pdf
% Cet article est probablement à connaître et à citer:
% ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
% https://arxiv.org/abs/2006.13635
\cite{vindum-birkedal-21}
\cite{vindum-frumin-birkedal-21}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment