How Amazon Web Services Uses Formal Methods.

The article discusses the use of formal specification and model checking by engineers at Amazon Web Services (AWS), a cloud computing platform offered by electronic commerce company Amazon.com, Inc., to help solve design problems in critical systems. Topics include AWS's use of distributed systems a...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 58; no. 4; pp. 66 - 74
Autores principales:	NEWCOMBE, CHRIS, RATH, TIM, FAN ZHANG, MUNTEANU, BOGDAN, BROOKER, MARC, DEARDEUFF, MICHAEL
Formato:	Artículo
Publicado:	Association for Computing Machinery Apr2015
Materias:	Computer specifications Amazon Web Services Inc. Algorithm software Algorithms Distributed operating systems (Computers) Distributed computing Information technology security
Acceso en línea:	Ver este registro en EBSCOhost