There's a blog post discussing the paper available at http://blog.acolyer.org/2015/10/15/ironfleet-proving-practical-distributed-systems-correc/ http://blog.aco

There's a blog post discussing the paper available at http://blog.acolyer.org/2015/10/15/ironfleet-proving-practical-distributed-systems-correc/ http://blog.acolyer.org/2015/10/15/ironfleet-proving-practic...