Team Proval

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Other Grants and Activities

European initiatives

European COST action FVOOS

FVOOS (Formal Verification of Object-Oriented Programs, ) is a COST (European Cooperation in the field of Scientific and Technical Research, ) action. It started in 2008 and will last until April 2011.

It involves 40 academic groups among 18 countries in Belgium, Denmark, Estonia, France, Germany, Ireland, Israel, Italy, The Netherlands, New Zealand, Norway, Poland, Portugal, Romania, Spain, Sweden, Switzerland and United Kingdom.

The aim of this action is to develop verification technology with the reach and power to assure dependability of object-oriented programs on industrial scale.


Logo Inria