4 ms·
Martin Kleppmann verifying distributed systems? That's as good as it can get.
by javcasas 4y ago
Martin Kleppmann verifying distributed systems? That's as good as it can get.
- eatonphil 4y agoWith a proof assistant written in Standard ML. :) https://isabelle.in.tum.de/ https://isabelle.in.tum.de/
- javcasas 4y agoYeah, a distributed system with proofs of it working under some specific assumptions. This is the future. It's a future hard and complicated because the tools and the expertise are not here yet, but definitely the future.