IronFleet : proving practical distributed systems correct
| Title: | IronFleet : proving practical distributed systems correct |
|---|---|
| Authors: | Hawblitzel, Chris; Howell, Jon; Kapritsos, Manos; Lorch, Jacob R.; Parno, Bryan; Roberts, Michael L.; Setty, Srinath; Zill, Brian |
| Source: | Proceedings of the 25th Symposium on Operating Systems Principles. :1-17 |
| Availability: | http://dl.acm.org/doi/10.1145/2815400.2815428 |
| Database: | ACM Full-Text Collection |