COST Action IC0701Formal Verification of Object-Oriented Software

Project Details

Description

COST Action IC0701 is a European scientific cooperation. The Action aims to develop verification technology with the reach and power to assure dependability of object-oriented programs on industrial scale
StatusFinished
Effective start/end date11/03/200810/03/2012

Funding

  • COST