Publikace na Matematicko-fyzikální fakulta |
2004
Abstrakt
The article proposes a representation solving the state explosion problem in formal verification of behavior protocols. The proposed representation transforms the space complexity to time complexity, which is in turn solved by additional optimizations.