Technical Perspective IronFleet Simplifies Proving Safety and Liveness Properties.

An introduction is presented to an article that describes the safety and liveness properties of the IronFleet system software for distributed services including replication support and a shared key-value store.

Bibliographic Details
Published in:	Communications of the ACM Vol. 60; no. 7; pp. 82 - 83
Main Author:	Schneider, Fred B.
Format:	Article
Published:	Association for Computing Machinery Jul2017
Subjects:	Systems software Distributed computing software
Online Access:	View this record in EBSCOhost

Internet

View this record in EBSCOhost