The value of model checking in distributed protocols design protocols-made-fun.com 5 points by todsacerdoti 6 hours ago