Research Article
A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems
Figure 3
The performance comparison of -bounded with incremental bounded model checking algorithm. The superscripts and inc represent -bounded model checking algorithm and incremental bounded model checking algorithm, respectively.