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 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}
}
Powered by bibtexbrowser