Debugging the data plane with anteater
Practical byzantine fault tolerance