Model checking approach for communication procedures validation
Bruno Blašković, P. Knezevic, Mirko Randić · EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439) · 2002
Quality assurance is an important part of communicating systems development. In order to find errors communicating procedures are analysed as early as possible, during the requirements or specification phase. This paper discuss validation of communicating procedures. Special attention is exercised on extraction of the data from real system descriptions through model extraction. Examples are given.