with discretized pieces • Allows to have all the (system) perspectives (of a node) available at the same time. • Perspectives evolve with communication
Although not as much as unverifed ones Also: diferent type See: An Empirical Study on the Correctness of Formally Verifed Distributed Systems (Fonseca, et al.)
& paging tools • Chaos Engineering: breaking things on purpose before they break for real Prometheus, New Relic, etc Modern testing approaches: thorough e2e, production •
http://cs.brown.edu/~mph/HerlihyR96/sv.pdf • The Topology of Distributed Adversaries https:// link.springer.com/article/10.1007/s00446-013-0189-9 • The Topological Structure of Asynchronous Computability http://cs.brown.edu/~mph/HerlihyS99/p858-herlihy.pdf • The Verifcation of a Distributed System http:// queue.acm.org/detail.cfm?id=2889274