11 citations · 12 across the 7 of their papers we have counts for
1 paper · 1 filter
Fathiyeh Faghih, Borzoo Bonakdarpour, Sebastien Tixeuil +1
In this paper, we introduce an SMT-based method that automatically synthesizes a distributed self-stabilizing protocol from a given high-level specification and network topology. U…