Du kannst ein verteiltes protocol nicht unit-testen, aber du kannst es model-checken
Verteilte Bugs sind nach dem Deployment teuer zu beheben. Model Checking hilft dir, sie zu finden, bevor du eine einzige Zeile Implementierungscode schreibst. So geht's mit TLA+.
