Project Details
| Status | Active |
|---|---|
| Effective start/end date | 6/15/20 → 5/31/25 |
Funding
- NSF - National Science Foundation
SHF: Small: VeriFFI -- Formally Verified Functional+C programs
- Appel, Andrew Wilson (PI)
Project: Research project
Project: Research project
| Status | Active |
|---|---|
| Effective start/end date | 6/15/20 → 5/31/25 |