Слайд 1 Thank you for the attention! References: Verifying Safety o Fault-Tolerant Distributed Components, Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine:…