Admit Your Weakness: Verifying Correctness on TSO Architectures
Attributed to:
Verifying concurrent algorithms on Weak Memory Models
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-15317-9_22
Publication URI: http://dx.doi.org/10.1007/978-3-319-15317-9_22
Type: Book Chapter
Book Title: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (2015)
Page Reference: 364-383
ISBN: 978-3-319-15316-2