Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency
摘要
This report extends §6 of the main paper by providing further details of the mechanisation effort.