All you need is a simulator? Nope

Author: Igor Konnov Date: March 09, 2026 Punchline: Testing distributed protocols with random simulation and stateful property-based testing (PBT) is not enough! Yes, running a simulator for days is better than doing manual testing or just running unit tests. But you will miss states, which may expose bugs . Even on very small systems. I have been saying exactly this to many software engineers.…