The Verification of a Distributed System.

The article discusses the verification and validation of distributed systems. Particular focus is given to partial failure and asynchrony. Details on formal specification languages such as TLA+ and Coq, and on the formal verification method known as model checking, are presented. Informal methods su...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 59; no. 2; pp. 52 - 56
Main Author:	MCCAFFREY, CAITIE
Format:	Article
Published:	Association for Computing Machinery Feb2016
Subjects:	Distributed computing Software verification Software validation Computer software testing Technical specifications
Online Access:	View this record in EBSCOhost