Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review.

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem

Browse the full KES paper archive.