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...
| Publicado en: | Communications of the ACM Vol. 59; no. 2; pp. 52 - 56 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Feb2016
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |