Login / Signup

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

Ilina StoilkovskaIgor KonnovJosef WidderFlorian Zuleger
Published in: TACAS (2) (2019)
Keyphrases