Publication at Faculty of Mathematics and Physics |
2005
Abstract
One of the serious problems of model checking is the state explosion problem. It hinders the use of model checking methods as everyday debugging tool.
In this paper, we propose new state identification technique based on bitfields that has significantly decreased both time and memory requirements of behavior protocol checking.