Combining model checking with simulation-based techniques for protocol verification

Takanori Ishibashi, Kazuhiro Ogata

Model checking is a powerful technique for verifying properties of systems or protocols, but it often suffers from the state space explosion problem. For protocols such as the Alte…