Verifying Safety of Synchronous Fault-Tolerant Algorithms Bounded Model Checking

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

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 Zuleger, 2021.Note: to appear

Bibtex Entry:

@article{StoilkovskaKWZ21,
	author    = {Ilina Stoilkovska and
	Igor Konnov and
	Josef Widder and
	Florian Zuleger},
	title     = {Verifying Safety of Synchronous Fault-Tolerant Algorithms
	Bounded Model Checking},
	booktitle = {International Journal on Software Tools for Technology Transfer (STTT)},
	year      = {2021},
   note = {to appear}
}