Thread-Modular Shape Analysis

摘要

Thread-modular static analysis of concurrent systems ab-stracts away the correlations between the local variables (and programlocations) of different threads. This idea reduces the exponential com-plexity due to thread interleaving and allows us to handle programs withan unbounded number of threads.