%0 Conference Proceedings %T Exploiting Hub States in Automatic Verification %A Della Penna, Giuseppe %A Intrigila, Benedetto %A Melatti, Igor %A Tronci, Enrico %E D.A. Peled %E Y.-K. Tsay %B Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings %D 2005 %V 3707 %I Springer %@ 3-540-29209-8 %F DellaPenna_etal2005 %O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=83), last updated on Sat, 24 Nov 2012 14:17:53 +0100 %X In this paper we present a new algorithm to counteract state explosion when using Explicit State Space Exploration to verify protocol-like systems. We sketch the implementation of our algorithm within the Caching Mur$\varphi$ verifier and give experimental results showing its effectiveness. We show experimentally that, when memory is a scarce resource, our algorithm improves on the time performances of Caching Mur$\varphi$ verification algorithm, saving between 16% and 68% (45% on average) in computation time. %U http://mclab.di.uniroma1.it/publications/papers/papers/Della Penna2005.pdf %U http://dx.doi.org/10.1007/11562948_7 %P 54-68