FMitF: Track 1: Pay-as-you-go Consistency Verification for Distributed System Designs

Project: Research project

Project Details

StatusActive
Effective start/end date8/1/247/31/28

Funding

  • NSF - National Science Foundation