Publikace na Matematicko-fyzikální fakulta |
2005
Abstrakt
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.