Formal Verification of an Industrial Distributed Algorithm: An Experience Report

von Kosmatov, Nikolai
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2020)