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

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.