project . 2012 - 2017 . Closed

VERISYNTH

Automatic Synthesis of Software Verification Tools from Proof Rules
European Commission
Funder: European CommissionProject code: 308125 Call for proposal: ERC-2012-StG_20111012
Funded under: FP7 | SP2 | ERC
Status: Closed
01 Dec 2012 (Started) 30 Nov 2017 (Ended)
Open Access mandate
Publications: NoResearch data: No
Partners
Data Management Plans