doi.org/10.5281/zenodo.4722966

Preview meta tags from the doi.org website.

Linked Hostnames

16

Search Engine Appearance

Google

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

GenMC: A Model Checker for Weak Memory Models

This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", accepted for publication at CAV 2021.

Bing

GenMC: A Model Checker for Weak Memory Models

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

This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", accepted for publication at CAV 2021.

DuckDuckGo

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

GenMC: A Model Checker for Weak Memory Models

This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", accepted for publication at CAV 2021.

General Meta Tags
17
- title
  GenMC: A Model Checker for Weak Memory Models
- charset
  utf-8
- X-UA-Compatible
  IE=edge
- viewport
  width=device-width, initial-scale=1
- google-site-verification
  5fPGCLllnWrvFxH9QWI0l1TadV7byeEvfPcyK2VkS_s
Open Graph Meta Tags
4
- og:title
  GenMC: A Model Checker for Weak Memory Models
- og:description
  This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", accepted for publication at CAV 2021.
- og:url
  https://zenodo.org/records/4884947
- og:site_name
  Zenodo
Twitter Meta Tags
4
- twitter:card
  summary
- twitter:site
  @zenodo_org
- twitter:title
  GenMC: A Model Checker for Weak Memory Models
- twitter:description
  This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", accepted for publication at CAV 2021.
Link Tags
11
- alternate
  https://zenodo.org/records/4884947/files/genmc.docker
- alternate
  https://zenodo.org/records/4884947/files/instructions.pdf
- apple-touch-icon
  /static/apple-touch-icon-120.png
- apple-touch-icon
  /static/apple-touch-icon-152.png
- apple-touch-icon
  /static/apple-touch-icon-167.png

Links

47