Formal Verification of an Industrial Distributed Algorithm: An Experience Report.

Nikolai Kosmatov, Delphine Longuet, Romain Soulat

Browse the full ISoLA paper archive.