Section: Partnerships and Cooperations

European Initiatives

Collaborations in European Programs, except FP7

FoVeOOS

Participants : Claude Marché [contact] , Romain Bardou, François Bobot, Asma Tafat.

• Program: COST (European Cooperation in the field of Scientific and Technical Research, http://www.cost.esf.org/ )

• Project acronym: FoVeOOS (IC-0701, http://www.cost-ic0701.org/ )

• Project title: Formal Verification of Object-Oriented Software

• Duration: May 2008 - April 2012

• Coordinator: B. Beckert, University Karlsruhe, Germany

• Other partners: 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.

• Abstract: 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.