Title :
Model checking approach for communication procedures validation
Author :
B. Blaskovic;P. Knezevic;M. Randic
Author_Institution :
Fac. of Electr. Eng. & Comput., Zagreb Univ., Croatia
fDate :
6/23/1905 12:00:00 AM
Abstract :
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.
Keywords :
"Data mining","Logic","Filtering","Quality assurance","Protocols","System recovery","Data structures","Automata","Reachability analysis","State-space methods"
Conference_Titel :
EUROCON´2001, Trends in Communications, International Conference on.
Print_ISBN :
0-7803-6490-2
DOI :
10.1109/EURCON.2001.938178
