engleski

Model checking approach for communication procedures validation

Quality assurance is an important part of communicating systems development. In order to find errors communicating procedures are analyzed 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.

formal specification; formal verification; protocols; quality control; reachability analysis; communication procedure validation; model checking; model extraction; quality assurance; requirements engineering; specification; Automata; Data mining; Logic; Protocols; Quality assurance; State-space methods

nije evidentirano