Parallel Assertions for Architectures with Weak Memory Models

DOI10.1007/978-3-642-33386-6_21zbMath1374.68106WikidataQ62040451 ScholiaQ62040451MaRDI QIDQ4649301

Sharad Malik, Georg Weissenbacher, Daniel Schwartz-Narbonne

Publication date: 21 November 2012

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33386-6_21

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68Q55: Semantics in the theory of computing

Uses Software

• LLVM
• PARSEC