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.
| Publicado en: | Communications of the ACM Vol. 60; no. 7; pp. 82 - 83 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Jul2017
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | 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. |
|---|