Linearizability Hoare Logic

Hatti, Eashan; Oliveira Vale, Arthur; Wang, Zhongye; Feng, Yueyang; Shao, Zhong

doi:10.4230/artifacts.26388

Artifact

Linearizability Hoare Logic Software

Authors Eashan Hatti , Arthur Oliveira Vale , Zhongye Wang , Yueyang Feng , Zhong Shao

Part of: Collection: Supplementary Materials
License: BSD 3-Clause "New" or "Revised" License
Publication Date: 2026-06-25

Document Identifiers

DOI: 10.4230/artifacts.26388
URN: urn:nbn:de:0030-drops-263885

Author Details

Eashan Hatti

Yale University, New Haven, CT, USA

Arthur Oliveira Vale

Yale University, New Haven, CT, USA

Zhongye Wang

Yale University, New Haven, CT, USA

Yueyang Feng

Yale University, New Haven, CT, USA

Zhong Shao

Yale University, New Haven, CT, USA

Content

Version/Status

Content created at: 2024-01-28
Status: Active (at the time of publication 2026-06-25)

Cite As Get BibTex

Eashan Hatti, Arthur Oliveira Vale, Zhongye Wang, Yueyang Feng, Zhong Shao. Linearizability Hoare Logic (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26388

Subject Classification

Programming Languages

Rocq

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail