Simulation-based analysis of formal models of distributed systems with respect to certain required system properties often fails due to the large number of possible execution sequences. In general, the number of possible exceution sequences of some fixed length grows exponentially with the degree of concurrency.
展开▼