A Logic-based Framework for Verifying Consensus Algorithms

Drăgoi, Cezara; A. Henzinger, Thomas; Veith, Helmut; Widder, Josef; Zufferey, Damien

by Cezara Drăgoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey

Reference:

A Logic-based Framework for Verifying Consensus AlgorithmsCezara Drăgoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien ZuffereyVMCAI, volume 8318 of LNCS, pages 161–181, 2014.

Bibtex Entry:

@inproceedings{DHVWZ14,
  author   = {Cezara {Drăgoi}
    and Thomas A.~Henzinger
    and Helmut Veith
    and Josef Widder
    and Damien Zufferey},
  title = {A Logic-based Framework for Verifying Consensus Algorithms} ,
  booktitle = {VMCAI},
  year = {2014},
 pages     = {161--181},
series    = {LNCS},
  volume    = {8318},
  url = {http://forsyte.at/wp-content/uploads/dragoi-vmcai14.pdf}
}