Project Details
| Status | Active |
|---|---|
| Effective start/end date | 1/03/22 → 31/08/25 |
Funding
- Huawei Technologies Research & Development (UK) Limited: £228,406.00
Automated ISA Hyper-Property Testing
- Franke, Bjoern (Principal Investigator)
| Status | Active |
|---|---|
| Effective start/end date | 1/03/22 → 31/08/25 |