|Final Report of the COST-247 Action|
VALIDATION OF COMMUNICATIONS PROTOCOLS
|Technical University of Budapest|
|Department of Telecommunications and Telematics|
|H-1521, Budapest Pf. 91.|
|Tel: +36-1-463 2589|
|fax: +36-1-463 3107|
During the last ten years, validation technology has developed from being a research topic to a practical method of finding errors in complex distributed system and is now available as part of several, commercially available software development tools. The formal validation of system specifications is accepted by equipment manufacturers as a significant means of avoiding the costs of design error.
Validation is the collection of appropriate methods, procedures and tools used to evaluate that a specification:
This presentation has been given during the COST-247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia, June 17--19, 1996).
COST-247 Working Group(s): 3
This Page was prepared by Mark Jorgensen.