Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL

Overview of attention for article published in Journal of Automated Reasoning, November 2021

Altmetric Badge

About this Attention Score

Among the highest-scoring outputs from this source (#14 of 136)
Above-average Attention Score compared to outputs of the same age (63rd percentile)

Mentioned by

wikipedia: 1 Wikipedia page

Readers on

mendeley: 6 Mendeley

So far, Altmetric has seen 1 Wikipedia article.

Interference freedom

Cited by user DavidGries on 15 Jul 2022

In computer science, interference freedom is a technique for proving partial correctness ofconcurrent programs with shared variables.

This page shows the most recent Wikipedia articles that mention this research output. Click here to find out how to access more activity.