Media type: E-Book Title: Modelling Memory Consistency Models for Formal Verification Contributor: Senftleben, Maximilian [Verfasser]; Schneider, Klaus [Akademischer Betreuer] imprint: Kaiserslautern: Technische Universität Kaiserslautern, 2019 Extent: Online-Ressource Language: English Identifier: Keywords: Memory ; Weak Memory Model ; Memory Consistency ; Processor Architecture ; Memory Architecture ; Model Checking Origination: University thesis: Dissertation, Kaiserslautern, Technische Universität Kaiserslautern, 2019 Footnote: Access State: Open Access