A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms

Konnov, Igor V.; Lazic, Marijana; Veith, Helmut; Widder, Josef

by Igor V. Konnov, Marijana Lazic, Helmut Veith, Josef Widder

Reference:

A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithmsIgor V. Konnov, Marijana Lazic, Helmut Veith, Josef WidderProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 (Giuseppe Castagna, Andrew D. Gordon, eds.), pages 719–734, 2017, ACM.

Bibtex Entry:

@inproceedings{DBLP:conf/popl/KonnovLVW17,
  author    = {Igor V. Konnov and
               Marijana Lazic and
               Helmut Veith and
               Josef Widder},
  editor    = {Giuseppe Castagna and
               Andrew D. Gordon},
  title     = {A short counterexample property for safety and liveness verification
               of fault-tolerant distributed algorithms},
  booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  pages     = {719--734},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3009860},
  timestamp = {Wed, 28 Dec 2016 13:22:29 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/KonnovLVW17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}