43 citations · 119 across the 29 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…