Verifying Safety of Synchronous Fault-Tolerant Algorithms Bounded Model Checking (bibtex)
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.Note: A pre-print including the proofs is available at: https://hal.inria.fr/hal-01925653
Bibtex Entry:
@inproceedings{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},
  note      = {A pre-print including the proofs is available at: 
               \url{https://hal.inria.fr/hal-01925653}}
}
Powered by bibtexbrowser