Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking (bibtex)
by Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
Reference:
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model CheckingIlina Stoilkovska, Igor Konnov, Josef Widder, Florian ZulegerHAL, volume hal-01925653, 2018.
Bibtex Entry:
@article{stoilkovska:hal-01925653,
  TITLE = {{Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking}},
  AUTHOR = {Stoilkovska, Ilina and Konnov, Igor and Widder, Josef and Zuleger, Florian},
  url = {https://hal.inria.fr/hal-01925653},
  YEAR = {2018},
  journal = {HAL},
  volume = {hal-01925653},
  HAL_VERSION = {v1},
}
Powered by bibtexbrowser