IronFleet: Proving Safety and Liveness of Practical Distributed Systems.

Distributed systems are notorious for harboring subtle bugs. Verification can, in principle, eliminate these bugs, but it has historically been difficult to apply at full-program scale, much less distributed system scale. We describe a methodology for building practical and provably correct distribu...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 60; no. 7; pp. 83 - 93
Autores principales:	Hawblitzel, Chris, Howell, Jon, Kapritsos, Manos, Lorch, Jacob R., Parno, Bryan, Roberts, Michael L., Setty, Srinath, Zill, Brian
Formato:	Artículo
Publicado:	Association for Computing Machinery Jul2017
Materias:	Distributed computing software Systems software Computer software Finite state machines Technical specifications Standards Paxos (Computer science)
Acceso en línea:	Ver este registro en EBSCOhost