Section: Partnerships and Cooperations

European Initiatives

Collaborations in European Programs, except FP7


Participants : Claude Marché [contact] , 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.