Treffer: Technical Perspective IronFleet Simplifies Proving Safety and Liveness Properties.
Title:
Technical Perspective IronFleet Simplifies Proving Safety and Liveness Properties.
Authors:
Schneider, Fred B.1 fbs@cs.cornell.edu
Source:
Communications of the ACM. Jul2017, Vol. 60 Issue 7, p82-82. 1p.
Subject Terms:
Database:
Business Source Elite
Weitere Informationen
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.