IronFleet : proving safety and liveness of practical distributed systems
| Title: | IronFleet : proving safety and liveness of practical distributed systems |
|---|---|
| Authors: | Hawblitzel, Chris; Howell, Jon; Kapritsos, Manos; Lorch, Jacob R.; Parno, Bryan; Roberts, Michael L.; Setty, Srinath; Zill, Brian |
| Source: | Communications of the ACM. 60(7):83-92 |
| Availability: | http://dl.acm.org/doi/10.1145/3068608 |
| Database: | ACM Full-Text Collection |