|COST is the acronym for "European Cooperation in the Field of
Scientific and Technical Research". It is an inter-governmental framework for fostering collaboration between researchers in Europe in a "bottom-up" manner. More information about COST can be
found at the official COST website. |
COST is organized in Actions. The goal of this Action is to co-ordinate the development of verification technology, to achieve reach and power needed to assure reliability of object-oriented programs on industrial scale.
This Action will concentrate on program verification: the construction of logical proofs that programs are correct. Logic-based technologies for the formal description, construction, analysis, and validation of software can be expected to complement and partly replace traditional software engineering methods in the future.
Already, program verification methods have outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice (such as Java, C++, and C#) are object-oriented. The Action will therefore focus on the verification of programs written in object-oriented languages and the particular problems this entails.
Further details are outlined in the Memorandum of Understanding, which is available from the download section of this website.