Linear Time Memory Consistency Verification

DOI10.1109/TC.2011.41MaRDI QIDQ5277624zbMATH OpenFDO

Authors Yunji Chen, Tianshi Chen, Cheng Qian, Lei Li, Weiwu Hu

Publication date 12 July 2017

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TC.2011.41

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Linear Time Memory Consistency Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5277624)