Local checkability, no strings attached: (A)cyclicity, reachability, loop free updates in SDNs

Lastly, we also study how to apply the concept of local checkability to updating spanning trees in a loop free manner in the context of asynchronous networking, by exploring the similarities between prover-and-verifier pairs and Software Defined Networks (SDNs).