Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
| learning:distributed [2024/09/28 22:19] – fponzi | learning:distributed [2024/10/21 22:19] (current) – fponzi | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Distributed mode and Cloud mode ====== | ====== Distributed mode and Cloud mode ====== | ||
| + | Please Note: this feature is on track to be deprecated. More info can be found here: https:// | ||
| + | |||
| When we need to model check a model that has a large state space, we can run tlc in distributed mode. In this mode, TLC will run in multiple machines. Cloud mode is distributed mode, but automatically spawns up instances in the supported clouds. | When we need to model check a model that has a large state space, we can run tlc in distributed mode. In this mode, TLC will run in multiple machines. Cloud mode is distributed mode, but automatically spawns up instances in the supported clouds. | ||
fponzi