SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms (bibtex)
by Igor Konnov, Helmut Veith, Josef Widder
Reference:
SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed AlgorithmsIgor Konnov, Helmut Veith, Josef WidderCAV (Part I), volume 9206 of LNCS, pages 85-102, 2015.
Bibtex Entry:
@inproceedings{KVW15:CAV,
  author    = {Konnov, Igor and Veith, Helmut and Widder, Josef},
  title     = {SMT and POR beat Counter Abstraction:
                Parameterized Model Checking of Threshold-Based
                Distributed Algorithms},
  booktitle   = {CAV (Part~I)},
    volume = {9206},
      series = {LNCS},
        pages = {85--102},
          year = {2015},
  url       = {http://forsyte.at/download/konnov-cav15.pdf}
}
Powered by bibtexbrowser