# content
The value of model checking in distributed protocols design (via ajessejiryudavis) — discussion

#distributed #formalmethods