Cache-based Model Checking of Networked Software
Cyrille Valentin Artho, Watcharin Leungwattanakit, Masami Hagiya, Eric Platon, Yoshinori Tanabe, Mitsuharu Yamamoto · 2010
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such systems. However, a simple state space exploration scheme is not applicable, as backtracking results in repeated communication operations. A cache-based approach solves this problem by hiding redundant communication operations from the environment. I.