The state space explosion problem is the most burning problem of formal verification methods like model checking. In the behavior protocol checker, a tool for model checking of software components, various optimization of state representation were implemented thus speeding up the checking process. In some special cases, however, the optimization introduces a problem referred to as the “spearhea...

Our proposed Bandwidth Optimization Control Protocol allows a mobile node to send request and get reply using two different networks simultaneously. Connection supply for mobile nodes is not done by modifying transport layer protocols, but by handling the update of routing table at the Internet layer using bandwidth optimization control protocol messages, options, and processes that ensure the ...