Publication at Faculty of Mathematics and Physics |
2005
Abstract
Checking components behavior compatibility when using behavior protocols as a specification platform brings, besides others, the state explosion problem. To cope with this problem, we present bit-based state representation enabling for keeping a substantially higher number of states identifiers in the memory.