Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms (bibtex)
by Thomas Pani, Georg Weissenbacher, Florian Zuleger
Reference:
Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free AlgorithmsThomas Pani, Georg Weissenbacher, Florian Zuleger2018 Formal Methods in Computer Aided Design, FMCAD 2018 (Nikolaj Bjorner, Arie Gurfinkel, eds.), 2018.Note: (to appear)
Bibtex Entry:
@inproceedings{DBLP:conf/fmcad/PaniWZ18,
  author = {Thomas Pani and
            Georg Weissenbacher and
            Florian Zuleger},
  title = {Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free
           Algorithms},
  editor    = {Nikolaj Bjorner and
               Arie Gurfinkel},
  booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018},
  year      = {2018},
  url       = {http://forsyte.at/static/people/pani/fmcad18.pdf},
  note      = {(to appear)},
}
Powered by bibtexbrowser