Project Details
Description
| Status | Finished |
|---|---|
| Effective start/end date | 01/07/2013 → 30/04/2017 |
Funding
- Independent Research Fund Denmark: DKK3,725,781.00
A general-purpose framework for software verification
- Bengtson, Jesper (PI)
- Birkedal, Lars (CoI)
- Sestoft, Peter (CoI)
- Faithfull, Alexander (CoI)
Project: Research