Verifying Safety of Synchronous Fault-Tolerant Algorithms Bounded Model Checking

Stoilkovska, Ilina; Konnov, Igor; Widder, Josef; Zuleger, Florian

doi:10.1007/978-3-030-17465-1_20

by Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger

Reference:

Verifying Safety of Synchronous Fault-Tolerant Algorithms Bounded Model CheckingIlina Stoilkovska, Igor Konnov, Josef Widder, Florian ZulegerTools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, pages 357–374, 2019.

Bibtex Entry:

@inproceedings{DBLP:conf/tacas/StoilkovskaKWZ19,
  author    = {Ilina Stoilkovska and
               Igor Konnov and
               Josef Widder and
               Florian Zuleger},
  title     = {Verifying Safety of Synchronous Fault-Tolerant Algorithms
               Bounded Model Checking},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 25th International Conference, {TACAS} 2019, Held as Part of
               the European Joint Conferences on Theory and Practice of
               Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11,
2019,
               Proceedings, Part {II}},
  pages     = {357--374},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-17465-1\_20},
  doi       = {10.1007/978-3-030-17465-1\_20},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/StoilkovskaKWZ19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}