Title: | On Partial Order Semantics for SAT/SMT-based Symbolic Encodings of Weak Memory Concurrency |
---|---|
Links: | Homepage Document as PDF |
Authors: | Alex Horn |
Daniel Kroening EMail | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{hk2015-forte1, AUTHOR = { Horn, Alex and Kroening, Daniel }, TITLE = { On Partial Order Semantics for {SAT}/{SMT}-based Symbolic Encodings of Weak Memory Concurrency }, BOOKTITLE = { Federated Conference on Distributed Computing Techniques (FORTE) }, YEAR = { 2015 }, PUBLISHER = { Springer }, PAGES = { 19--34 }, SERIES = { LNCS }, VOLUME = { 9039 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.