@InProceedings{DellaPenna_etal2005,
author="Della Penna, Giuseppe
and Intrigila, Benedetto
and Melatti, Igor
and Tronci, Enrico",
editor="D.A. Peled
and Y.-K. Tsay",
title="Exploiting Hub States in Automatic Verification",
booktitle="Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings",
series="Lecture Notes in Computer Science",
year="2005",
publisher="Springer",
volume="3707",
pages="54--68",
abstract="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{\$}{\backslash}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{\$}{\backslash}varphi{\$} verification algorithm, saving between 16{\%} and 68{\%} (45{\%} on average) in computation time.",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=83), last updated on Sat, 24 Nov 2012 14:17:53 +0100",
issn="3-540-29209-8",
doi="10.1007/11562948_7",
opturl="https://doi.org/10.1007/11562948_7",
file=":http://mclab.di.uniroma1.it/publications/papers/papers/Della Penna2005.pdf:PDF"
}