This site has been archived on

Formal Methods
Wednesday 26 November - 11.00-17.00, Brussels Congress Centre
Workshop at EITC 97 Image List of workshops
Image Step through list

Users always require a certain degree of confidence in the systems they employ, not only in critical situations where their safety is at stake, but also in systems which are largely used for entertainment. More than thirty years ago, Dijkstra and others pointed out that exhaustive testing of systems is usually impossible, and that other methods must be employed to secure acceptable levels of quality and confidence. Formal languages, and methods and tools based upon them, have been researched and developed for this purpose and can point to some successes, but also to some failures to live up to expectations. This workshop is aimed at the community of formal methods researchers, tool developers and users. It will enable an exchange of views on the benefits and problems experienced in using formal methods, and consider the future for formal methods and ways to usefully influence that future through longer-term research. The day is planned around a number of fairly short talks, concluded by a panel session, and with time for discussion and opinions from the floor.
[ Additional information for participants ]

Chaired by Hermann Kopetz of the Technical University of Vienna, the workshop will include presentations by:

Contact: David Cornwell, (E-mail removed)

Useful links

Future and Emerging Technologies (FET) Forum

EITC 97 home page | More workshops, seminars and one-day conferences | Programme overview | Esprit home page

This document is located at /esprit/src/eitc97j.htm
It was last updated on 9 October 1997, and is maintained by the EITC 97 Secretariat - (E-mail removed)