Research Article
An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks
Figure 2
Comparison of TTSCov with MIST, IIC, and BFC for memory usage. BFC stands for . We use two versions BFC in all three modes and find that the performs the best in memory usage test. algorithm is the best of five algorithms for memory usage in MIST toolkit, so MIST represented the algorithm. For all timeout instances, we also show the memory usage in this figure.