Great, i&#x27;m looking forward to see that talk. To me, it seems that the only way you can make sure that an implementation is correct, is either via extensive testing ( and when talking about acid property over a distributed system, i think the kind of simulator fdb built is a requirement), or run a theorem proover ofer your source code, ala Coq. But i&#x27;ve never heard of any code analysis tool that is able to guarantee properties over a distributed system.<p>But, since i&#x27;m absolutely not working on the field, i&#x27;m really looking forward to see what professional people like you are finding to tackle those issues.