PT Unknown
AU Della Penna, G
   Intrigila, B
   Melatti, I
   Tronci, E
TI Exploiting Hub States in Automatic Verification
SE Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
PY 2005
BP 54
EP 68
VL 3707
DI 10.1007/11562948_7
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.
ER