SMT-Based Verification of Persistency Invariants of Px86 Programs

Marmanis, Iason; Vafeiadis, Viktor

doi:10.1007/978-3-031-25803-9_6

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

SMT-Based Verification of Persistency Invariants of Px86 Programs

MPS-Authors

/persons/resource/persons268649

Marmanis, Iason
Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144538

Vafeiadis, Viktor
Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

https://rdcu.be/c6YpI
(Publisher version)

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

vstte2022.pdf
(Preprint), 396KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Marmanis, I., & Vafeiadis, V. (2022). SMT-Based Verification of Persistency Invariants of Px86 Programs. In A. Lal, & S. Tonetta (Eds.), Software Verification (pp. 92-110). Berlin: Springer. doi:10.1007/978-3-031-25803-9_6.

Cite as: https://hdl.handle.net/21.11116/0000-000C-B761-8

Abstract

There is no abstract available