SHF: Small: VeriFFI -- Formally Verified Functional+C programs

Princeton University

Project Details

StatusActive
Effective start/end date6/15/20 → 5/31/23

Funding

  • NSF - National Science Foundation: $499,999.00
View all
View less