Predicate Abstraction for Relaxed Memory Models
Authors:
- 1 January 2013
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 84-104
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Software Verification for Weak Memory via Program Transformation2013
- Automatic Fence Insertion in Integer Programs via Predicate AbstractionLecture Notes in Computer Science, 2012
- Getting Rid of Store-Buffers in TSO Analysis2011
- Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs2011
- Concurrent programming with revisions and isolation types2010
- On the verification problem for weak memory models2010
- CheckFence2007
- Automatic predicate abstraction of C programs2001
- Experience with Predicate Abstraction1999
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977