There is a newer version of this record available.

Software Open Access

Software Artifact for "The Anchor Verifier for Blocking and Non-Blocking Concurrent Software"

Flanagan, Cormac; Freund, Stephen

This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Blocking Concurrent Software" published at OOPSLA 2020.  It is a virtual machine image.  Once the VM is booted, use the username `artifact` and password `artifact` to log in.  The README file in the home directory contains further instructions.

Files (6.1 GB)
Name Size
anchor-artifact-v1.ova.zip
md5:caffb107d6de05140cc976565eaa6fa7 		6.1 GB Download
196
4
views
downloads
All versions This version
Views 19663
Downloads 41
Data volume 27.5 GB6.1 GB
Unique views 17756
Unique downloads 41
More info on how stats are collected.
Indexed in
Publication date:
October 1, 2020
DOI:
10.5281/zenodo.4032625

Zenodo DOI Badge

DOI 

10.5281/zenodo.4032625

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4032625.svg)](https://doi.org/10.5281/zenodo.4032625)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4032625.svg
   :target: https://doi.org/10.5281/zenodo.4032625

HTML 

<a href="https://doi.org/10.5281/zenodo.4032625"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4032625.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4032625.svg

Target URL 

https://doi.org/10.5281/zenodo.4032625

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 2.0 10.5281/zenodo.4064052 Oct 1, 2020
Version 1.0 10.5281/zenodo.4032625 Oct 1, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4032624. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export