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.
| Published in: | Communications of the ACM Vol. 60; no. 7; pp. 82 - 83 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Association for Computing Machinery
Jul2017
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=123967781&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 123967781 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Jul2017 vid: 60 iid: 7 pid: 68 pub: Association for Computing Machinery artinfo: ui: 123967781 10.1145/3068584 ppf: 82 ppct: 1 formats: tig: atl: Technical Perspective IronFleet Simplifies Proving Safety and Liveness Properties. aug: au: Schneider, Fred B. affil: Samuel B. Eckert Professor of Computer Science at Cornell University, Ithaca, NY su: Systems software Distributed computing software sug: subj: Systems software Distributed computing software ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2017 holdings: @attributes: islocal: N |
|---|