A general-purpose framework for software verification
- Jesper Bengtson(PI),
- Lars Birkedal(CoI),
- Peter Sestoft(CoI),
- Alexander Faithfull(CoI)
Project:
Research
Project status
Finished
Description
Project Information
Project Type
Research
Time Period
01/07/2013 – 30/04/2017Status
FinishedID
External Project ID: 2015-1294
Funding Details
A general-purpose framework for software verificationAward
FundersAmounts
Independent Research Fund Denmark
3725781 DKK