TY - CONF AU - Della Penna, Giuseppe AU - Intrigila, Benedetto AU - Melatti, Igor AU - Tronci, Enrico ED - D.A. Peled ED - Y.-K. Tsay PY - 2005 DA - 2005// TI - Exploiting Hub States in Automatic Verification BT - Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings T3 - Lecture Notes in Computer Science SP - 54 EP - 68 VL - 3707 PB - Springer AB - 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. SN - 3-540-29209-8 L1 - http://mclab.di.uniroma1.it/publications/papers/papers/Della Penna2005.pdf UR - https://doi.org/10.1007/11562948_7 DO - 10.1007/11562948_7 N1 - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=83), last updated on Sat, 24 Nov 2012 14:17:53 +0100 ID - DellaPenna_etal2005 ER -