Commit 0cdb397e authored by Viktor Vafeiadis's avatar Viktor Vafeiadis
Browse files

bib: add CAV'21 paper

parent de06628b
......@@ -2321,6 +2321,20 @@
ids = {bam}
}
@InProceedings{ kokologiannakis2021:genmc-tool,
author = {Michalis Kokologiannakis and Viktor Vafeiadis},
editor = {Alexandra Silva and K. Rustan M. Leino},
title = {{GenMC}: {A} model checker for weak memory models},
booktitle = {\bibCAV{2021}},
series = {LNCS},
volume = {12759},
pages = {427--440},
publisher = {Springer},
year = {2021},
doi = {10.1007/978-3-030-81685-8\_20},
ids = {genmc-tool}
}
@Article{ kokologiannakis2021:persevere,
title = {{PerSeVerE}: {Persistency} semantics for verification
under ext4},
......
Markdown is supported
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