|
|
|
|
|
|
by ams92
373 days ago
|
|
|
I’m wondering the same. I’ve read multiple articles about formal methods and how they’ve been used to find obscure bugs in distributed systems, but usually they just show a proof and talk about formal methods without concrete examples. |
|
|