Publication at Faculty of Mathematics and Physics |
2004
Abstract
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.