Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic (Artifact)

Thumbnail Image

Date

2021

Authors

Jacobs, J.
Balzer, S.
Krebbers, R.J.

Journal Title

Journal ISSN

Volume Title

Publisher

Zenodo

Research Projects

Organizational Units

Journal Issue

Abstract

The artifact for the paper "Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic".

Description

Keywords

connectivity, graphs, separation logic

Citation

URI

https://hdl.handle.net/2066/241269

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By