Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking.

Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger

Browse the full TACAS paper archive.