next up previous

Final Report of the COST-247 Action


Gyula Csopaki

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.

Back to the VASY Home page